Testing equivalences for processes (concurrent programming (1984)

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