Mutually Testing Processes - (Extended Abstract).

Giovanni Bernardi, Matthew Hennessy

Browse the full CONCUR paper archive.