[2604.27268] A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes
![[2604.27268] A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes](/img?u=https://arxiv.org/static/browse/0.3.4/images/arxiv-logo-fb.png&w=1200){kind=logo}
Summary
Abstract page for arXiv paper 2604.27268: A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes
Original reporting
Open original sourceAFBytes is a read-only aggregator. Use the original source for full context and complete reporting.