Title :
A Survey of Bisimulation Semantics for Mobile Processes
Author_Institution :
BASICS Lab., Shanghai Jiao Tong Univ., Shanghai
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;
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
DOI :
10.1109/ETCS.2009.440
