Decision algorithms for probabilistic bisimulations (2002)

by R Segala, N Lynch
Venue:Proc. of CONCUR’02, LNCS 2421