@misc{indiciae2e6f32368f62,
  title = {Proving Continuity of Coinductive Global Bisimulation Distances: A Never Ending Story},
  author = {David Romero-Hernández and David de Frutos-Escrig and Dario Della Monica},
  year = {2015},
  doi = {10.4204/eptcs.200.4},
  url = {https://arxiv.org/abs/1512.06944},
  note = {Source identifier: 1512.06944}
}