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
