Barbed Bisimulation (1992)

by R Milner, D Sangiorgi
Venue:In Proceedings 19-the International Colloquium on Automata, Languages and Programming (ICALP ’92), volume 623 of LNCS