Probabilistic simulations for probabilistic processes. (1994)

by R Segala, N Lynch
Venue:In CONCUR, LNCS,