Probabilistic simulations for probabilistic processes (1994)

by R Segala, N Lynch
Venue:in Proc. CONCUR’94