Bisimulation Through Probabilistic Testing.

Kim Guldstrand Larsen, Arne Skou

Browse the full POPL paper archive.