rozowski-2026-a:
  type: article
  title: A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes
  author:
  - Różowski, Wojciech
  - Piedeleu, Robin
  - Silva, Alexandra
  - Zanasi, Fabio
  date: 2026
  page-range: 190:1-190:20
  url: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2026.190
  serial-number:
    doi: 10.4230/LIPICS.ICALP.2026.190
  parent:
    type: proceedings
    title: 53rd International Colloquium on Automata, Languages, and Programming (ICALP 2026)
    publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
    volume: 374