A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice - (Extended Abstract).

Rob J. van Glabbeek, Jan Friso Groote, Erik P. de Vink

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

2 Citations (Scopus)

Fingerprint

Dive into the research topics of 'A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice - (Extended Abstract).'. Together they form a unique fingerprint.

Computer Science