@inproceedings{rozowski-2026-a,
  doi = {10.4230/LIPICS.ICALP.2026.190},
  url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2026.190},
  author = {Różowski, Wojciech and Piedeleu, Robin and Silva, Alexandra and Zanasi, Fabio},
  keywords = {behavioural distance, quantitative equational reasoning, string diagrams, Theory of computation},
  language = {en},
  title = {A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes},
  volume = {374},
  pages = {190:1-190:20},
  publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
  year = {2026},
  copyright = {Creative Commons Attribution 4.0 International license},
  booktitle = {53rd International Colloquium on Automata, Languages, and Programming (ICALP 2026)}
}