Barbed Bisimulation (1992)

by Robin Milner, Davide Sangiorgi, Edinburgh Eh Jz