N. Lynch

R. Segala and N. Lynch. Probabilistic simulations for probabilistic processes. Nordic Journal of Computing, 2(2):250-273, Summer 1995. Abstract, References, etc.