Rooted branching bisimulation as a congruence for probabilistic transition systems

TitleRooted branching bisimulation as a congruence for probabilistic transition systems
Publication TypeConference Paper
Year of Publication2015
AuthorsLee, MD, de Vink, EP
Conference NameProceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, {QAPL} 2015, London, UK, 11th-12th April 2015.
URLhttp://dx.doi.org/10.4204/EPTCS.194.6
DOI10.4204/EPTCS.194.6
Work Package: 
WP4