@misc{indiciaeb4e6943193bd,
  title = {Rooted branching bisimulation as a congruence for probabilistic transition systems},
  author = {Matias D. Lee and Erik P. de Vink},
  year = {2015},
  doi = {10.4204/eptcs.194.6},
  url = {https://arxiv.org/abs/1509.08564},
  note = {Source identifier: 1509.08564}
}