Matias David Lee, Erik P. de Vink
Rooted branching bisimulation as a congruence for probabilistic transition systems
QAPL, 2015.
@inproceedings{QAPL-2015-LeeV,
author = "Matias David Lee and Erik P. de Vink",
booktitle = "{Proceedings of the 13th Workshop on Quantitative Aspects of Programming Languages and Systems}",
doi = "10.4204/EPTCS.194.6",
pages = "79--94",
series = "{EPTCS}",
title = "{Rooted branching bisimulation as a congruence for probabilistic transition systems}",
volume = 194,
year = 2015,
}