@inbook {432,
	title = {Rooted branching bisimulation as a congruence for probabilistic transition systems},
	booktitle = {{\rm Proceedings Thirteenth Workshop on} Quantitative Aspects of Programming Languages and Systems, {\rm London, UK, 11th-12th April 2015}},
	series = {Electronic Proceedings in Theoretical Computer Science},
	volume = {194},
	year = {2015},
	pages = {79-94},
	publisher = {Open Publishing Association},
	organization = {Open Publishing Association},
	doi = {10.4204/EPTCS.194.6},
	author = {Lee, Matias D. and Erik P. de Vink},
	editor = {Nathalie Bertrand and Tribastone, Mirco}
}