Bisimulation in name-passing calculi without matching (1998)

by M Boreale, D Sangiorgi
Venue:In 13th Annual IEEE Symposium on Logic in Computer Science