Sciweavers

71 search results - page 1 / 15
» chi 1998
Sort
View
ASIAN
1998
Springer
118views Algorithms» more  ASIAN 1998»
13 years 8 months ago
Bisimulation Lattice of Chi Processes
Chi calculus was proposed as a process algebra that has a uniform treatment of names. The paper carries out a systematic study of bisimilarities for chi processes. The notion of L-...
Yuxi Fu
CHI
1998
ACM
13 years 8 months ago
From Documents to Discourse: Shifting Conceptions of Scholarly Publishing
mi.open.ac.uk/kmi-abstracts/kmi-tr-50-abstract.html].
Tamara Sumner, Simon Buckingham Shum