Bisimulation and cocongruence for probabilistic systems (2005)

by V Danos, J Desharnais, F Laviolette, P Panangaden
Venue:Information and Computation, Special