Testing Equivalences for Processes (1984)

by R. De Nicola, M. C. B. Hennessy
Venue:Theoretical Computer Science