Proving Continuity of Coinductive Global Bisimulation Distances: A Never Ending Story | Publicación