×
Lanotte, Ruggero; Tini, Simone

Probabilistic bisimulation as a congruence. (English) Zbl 1351.68183

ACM Trans. Comput. Log. 10, No. 2, Article No. 9, 48 p. (2009).

Cited in 10 Documents

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.)

Keywords:

bisimulation; congruence; probabilistic process algebra; transition rule format
Cite Review PDF
Full Text: DOI