DocumentCode
493721
Title
A Survey of Bisimulation Semantics for Mobile Processes
Author
Gu, Dikang
Author_Institution
BASICS Lab., Shanghai Jiao Tong Univ., Shanghai
Volume
2
fYear
2009
fDate
7-8 March 2009
Firstpage
800
Lastpage
804
Abstract
In this paper, we study various bisimulation relations in the pi-calculus. The relationships, such as the strict inclusion and the coincidence, between the bisimulations are presented. We also provide counter-examples to show those strict inclusions.
Keywords
bisimulation equivalence; mobile computing; programming language semantics; bisimulation semantic relation; mobile process; pi-calculus; Calculus; Carbon capture and storage; Computer science; Computer science education; Couplings; Educational technology; Laboratories; Mobile communication; Mobile computing; Topology; bisimulation; pi-Calculus; process calculus;
fLanguage
English
Publisher
ieee
Conference_Titel
Education Technology and Computer Science, 2009. ETCS '09. First International Workshop on
Conference_Location
Wuhan, Hubei
Print_ISBN
978-1-4244-3581-4
Type
conf
DOI
10.1109/ETCS.2009.440
Filename
4959154
Link To Document