Barbed bisimulation (1992)

by R Milner, D Sangiorgi
Venue:In Automata, Languages and Programming, 19th International Colloquium, ICALP ’92