Probabilistic bisimulation: Naturally on distributions (2014)

by H Hermanns, J Krcál, J Kretínský
Venue:In CONCUR’14, volume 8704 of LNCS