Testing Equivalence for Mobile Processes (Extended Abstract).

Michele Boreale, Rocco De Nicola

Browse the full CONCUR paper archive.