Bisimulation through probabilistic testing (1989)

by Kim G. Larsen, Arne Skou
Venue:in “Conference Record of the 16th ACM Symposium on Principles of Programming Languages (POPL