loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Proceedings of The Fifth International Symposium on Parallel and Distributed Computing (ISPDC'06)
Bisimulation Congruence for Asymmetric \chi ^ \ne -Calculus
Timisoara, Romania
July 06-July 09
ISBN: 0-7695-2638-1
Farong Zhong, Zhejiang Normal University, China
Yuxi Fu, Shanghai Jiaotong University, China
Xiaoju Dong, Shanghai Jiaotong University, China
In this paper a systematic study of bisimilarities on asymmetric \chi ^ \ne -processes is carried out. The notion of L- bisimilarities on asymmetric \chi ^ \ne -processes is introduced. Twelve distinct L-bisimilarities are derived from all of L- bisimilarities by constructing a bisimulation lattice. For each of these twelve distinct L-bisimilarities, its open version is defined and showed to coincide with it, and then its congruence is presented. Three update laws are proposed and three tau laws are modified. Finally, sound complete equational systems are established for twelve congruences.
Citation:
Farong Zhong, Yuxi Fu, Xiaoju Dong, "Bisimulation Congruence for Asymmetric \chi ^ \ne -Calculus," ispdc, pp.173-184, Proceedings of The Fifth International Symposium on Parallel and Distributed Computing (ISPDC'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.