Barbed bisimulation (1992)

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