Testing Equivalence for Processes.

Rocco De Nicola, Matthew Hennessy

Browse the full ICALP paper archive.