Testing equivalence as a bisimulation equivalence (1993)

by Rance Cleaveland, Matthew Hennessy
Venue:Formal Aspects of Computing