TY  - RPRT
TI  - Rooted branching bisimulation as a congruence for probabilistic transition systems
AU  - Matias D. Lee
AU  - Erik P. de Vink
PY  - 2015
DO  - 10.4204/eptcs.194.6
UR  - https://arxiv.org/abs/1509.08564
ID  - 1509.08564
ER  -