A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes.

Wojciech Rozowski, Robin Piedeleu, Alexandra Silva, Fabio Zanasi

Browse the full ICALP paper archive.