Testing equivalences for processes. Theoret (1984)

by R De Nicola, M Hennessy
Venue:Comput. Sci