Testing equivalences for processes (1984)

by R D Nicola, M Hennessy
Venue:Theoretical Comput. Sci