collaborators

1 paper

cs.LO2026

A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes

Wojciech Różowski, Robin Piedeleu, Alexandra Silva +1

Behavioural distances provide a quantitative approach to comparing the states of transition systems, moving beyond traditional Boolean notions of equivalence. In this paper, we dev…