@conference {439,
	title = {Rooted branching bisimulation as a congruence for probabilistic transition systems},
	booktitle = {Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, {QAPL} 2015, London, UK, 11th-12th April 2015.},
	year = {2015},
	doi = {10.4204/EPTCS.194.6},
	url = {http://dx.doi.org/10.4204/EPTCS.194.6},
	author = {Lee, Matias D. and Erik P. de Vink}
}