@inbook {430,
	title = {{SOS} rule formats for convex and abstract probabilistic bisimulations},
	booktitle = {Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, and 12th Workshop on Structural Operational Semantics, {EXPRESS/SOS} 2015, Madrid, Spain, 31st August 2015.},
	series = {{EPTCS}},
	volume = {190},
	year = {2015},
	pages = {31{\textendash}45},
	doi = {10.4204/EPTCS.190.3},
	author = {Pedro R. D{\textquoteright}Argenio and Lee, Matias D. and Daniel Gebler},
	editor = {Silvia Crafa and Daniel Gebler}
}