Testing Equivalence as a Bisimulation Equivalence (1993)

by R Cleaveland, M Hennessy
Venue:Formal Aspects of Computing