Coinductive Definition of Distances between Processes: Beyond Bisimulation Distances.

David Romero-Hernndez, David de Frutos-Escrig

Browse the full FORTE paper archive.