Probabilistic simulations for probabilistic processes (1994)

by R Segala, N Lynch
Venue:In CONCUR, volume 836 of LNCS