loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
1997 Advances in Parallel and Distributed Computing Conference (APDC '97)
The x-Calculus
Shanghai, CHINA
March 19-March 21
ISBN: 0-8186-7876-3
Yuxi Fu, Shanghai Jiao Tong University
The paper proposes a new process algebra, called chi-calculus. The language differs from pi-calculus in several aspects. First it takes a more uniform view on input and output. Second, the closed names of the language is homogeneous in the sense that there is only one kind of bound names. Thirdly, the effects of communications in chi-calculus are delimited by localization operators, not by sequentiality combinator. Finally, the language cherishes more freedom of parallelism than pi-calculus. The algebraic properties of chi-processes are studied in terms of local bisimulation. It is shown that local bisimilarity is a congruence equivalence on chi-processes.
Index Terms:
bisimulation, pi-calculus
Citation:
Yuxi Fu, "The x-Calculus," apdc, pp.74, 1997 Advances in Parallel and Distributed Computing Conference (APDC '97), 1997
Usage of this product signifies your acceptance of the Terms of Use.