Testing equivalences for processes (1984)

by Rocco De Nicola, Matthew Hennessy
Venue:Theor. Comput. Sci