Bisimulation through probabilistic testing (1991)

by K Larsen, A Skou
Venue:Information and Computation