Bisimulation in NamePassing Calculi without Matching. LICS’98 (1998)

by M Boreale, D Sangiorgi