Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes.

Zhoujun Li, Huowang Chen

Browse the full TACAS paper archive.