Testing Equivalence as a Bisimulation Equivalence (1993)

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