Testing Equivalences for Processes. Theoret (1984)

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