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
ASCII Text
x 
 
Farong Zhong, Yuxi Fu, Xiaoju Dong, "Bisimulation Congruence for Asymmetric \chi ^ \ne -Calculus," Parallel and Distributed Computing, International Symposium on, pp. 173-184, Proceedings of The Fifth International Symposium on Parallel and Distributed Computing (ISPDC'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/ISPDC.2006.13,
author = {Farong Zhong and Yuxi Fu and Xiaoju Dong},
title = {Bisimulation Congruence for Asymmetric \chi ^ \ne -Calculus},
journal ={Parallel and Distributed Computing, International Symposium on},
volume = {0},
year = {2006},
isbn = {0-7695-2638-1},
pages = {173-184},
doi = {http://doi.ieeecomputersociety.org/10.1109/ISPDC.2006.13},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Parallel and Distributed Computing, International Symposium on
TI - Bisimulation Congruence for Asymmetric \chi ^ \ne -Calculus
SN - 0-7695-2638-1
SP173
EP184
A1 - Farong Zhong,
A1 - Yuxi Fu,
A1 - Xiaoju Dong,
PY - 2006
KW - null
VL - 0
JA - Parallel and Distributed Computing, International Symposium on
ER -
 
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.