"SOS rule formats for convex and abstract probabilistic bisimulations."

Pedro R. D'Argenio, Matias David Lee, Daniel Gebler (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics