N.: Probabilistic simulations for probabilistic processes (1995)

by R Segala, Lynch
Venue:Nordic Journal of Computing