Rooted branching bisimulation as a congruence for probabilistic transition systems
Title | Rooted branching bisimulation as a congruence for probabilistic transition systems |
Publication Type | Book Chapter |
Year of Publication | 2015 |
Authors | Lee, MD, de Vink, EP |
Editor | Bertrand, N, Tribastone, M |
Book Title | {\rm Proceedings Thirteenth Workshop on} Quantitative Aspects of Programming Languages and Systems, {\rm London, UK, 11th-12th April 2015} |
Series Title | Electronic Proceedings in Theoretical Computer Science |
Volume | 194 |
Pagination | 79-94 |
Publisher | Open Publishing Association |
DOI | 10.4204/EPTCS.194.6 |
Work Package:
WP1