A Survey of Bisimulation Semantics for Mobile Processes

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.