Bisimulation in Name-Passing Calculi Without Matching (1998)

by M Boreale, D Sangiorgi
Venue:In LICS