Probabilistic bisimulation as a congruence. (English) Zbl 1351.68183
MSC:
68Q85 | Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) |
68Q87 | Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) |