Barbed Bisimulation

Authors: Robin Milner, Davide Sangiorgi - Lecture notes in computer science 1992 cited by 417