Larsen & Arne Skou (1991): Bisimulation through Probabilistic Testing (0)

by Kim Guldstrand
Venue:Information and Computation