Bisimulation and cocongruence for probabilistic systems (0)

by Vincent Danos, Josee Desharnais, François Laviolette, Prakash Panangaden
Venue:Inf. Comput