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
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