Rooted branching bisimulation as a congruence for probabilistic transition systems

TitleRooted branching bisimulation as a congruence for probabilistic transition systems
Publication TypeBook Chapter
Year of Publication2015
AuthorsLee, MD, de Vink, EP
EditorBertrand, 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 TitleElectronic Proceedings in Theoretical Computer Science
Volume194
Pagination79-94
PublisherOpen Publishing Association
DOI10.4204/EPTCS.194.6
Work Package: 
WP1