Checking Strong/Weak Bisimulation Equivalences and Observation Congruence for the pi-Calculus.

Zhoujun Li, Huowang Chen

Browse the full ICALP paper archive.