TY  - RPRT
TI  - SOS rule formats for convex and abstract probabilistic bisimulations
AU  - Pedro R. D'Argenio
AU  - Matias David Lee
AU  - Daniel Gebler
PY  - 2015
DO  - 10.4204/eptcs.190.3
UR  - https://arxiv.org/abs/1508.06710
ID  - 1508.06710
ER  -