Testing equivalence for mobile processes (1995)

by M Boreale, R De Nicola
Venue:Information and Computation