Rooted branching bisimulation as a congruence for probabilistic transition systems
| Title | Rooted branching bisimulation as a congruence for probabilistic transition systems |
| Publication Type | Conference Paper |
| Year of Publication | 2015 |
| Authors | Lee, MD, de Vink, EP |
| Conference Name | Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, {QAPL} 2015, London, UK, 11th-12th April 2015. |
| URL | http://dx.doi.org/10.4204/EPTCS.194.6 |
| DOI | 10.4204/EPTCS.194.6 |
Work Package:
WP4
