TY  - RPRT
TI  - A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes
AU  - Wojciech Różowski
AU  - Robin Piedeleu
AU  - Alexandra Silva
AU  - Fabio Zanasi
PY  - 2026
UR  - https://arxiv.org/abs/2604.27268
ID  - 2604.27268
ER  -