Testing equivalence for mobile processes (1995)

by Michele Boreale, Rocco De Nicola
Venue:Information and Computation