@misc{indiciae891e236e1d65,
  title = {SOS rule formats for convex and abstract probabilistic bisimulations},
  author = {Pedro R. D'Argenio and Matias David Lee and Daniel Gebler},
  year = {2015},
  doi = {10.4204/eptcs.190.3},
  url = {https://arxiv.org/abs/1508.06710},
  note = {Source identifier: 1508.06710}
}