Showing cs.LOShow all
3 papers · 1 filter
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.LO2026
Complete Diagrammatic Axiomatisations of Relative Entropy
Ralph Sarkis, Fabio Zanasi
Relative entropy is a fundamental class of distances between probability distributions, with widespread applications in probability theory, statistics, and machine learning. In thi…
cs.LO2026
Layered Monoidal Theories I: Diagrammatic Algebra and Applications
Leo Lobski, Fabio Zanasi
We develop layered monoidal theories -- a generalisation of monoidal theories combining formal descriptions of a system at different levels of abstraction. Via their representation…