Coinductive Definition of Distances between Processes: Beyond Bisimulation Distances | Publicación