3 papers
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…
cs.LO2024
Quantitative Monoidal Algebra: Axiomatising Distance with String Diagrams
Gabriele Lobbia, Wojciech Różowski, Ralph Sarkis +1
String diagrammatic calculi have become increasingly popular in fields such as quantum theory, circuit theory, probabilistic programming, and machine learning, where they enable re…
cs.LO2024
A Complete Quantitative Axiomatisation of Behavioural Distance of Regular Expressions
Wojciech Różowski
Deterministic automata have been traditionally studied through the point of view of language equivalence, but another perspective is given by the canonical notion of shortest-disti…