Testing equivalence for processes. (1983)

by Rocco De Nicola, Matthew C B Hennessy
Venue:Automata, Languages and Programming, 10th Colloquium,