Probabilistic simulations for probabilistic processes (1995)

by R Segala, N A Lynch
Venue:Nordic Journal of Computing