Similar Items: A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes
- Edit Distance of Finite-Valued Transducers
- On the Complexity of Robust Markov Decision Processes and Bisimulation Metrics
- A uniform characterisation of the (a)synchronous must-preorder
- A Logic of Inability
- Full Definability in a Profunctorial Model
- A Fibrational Perspective on Differential Linear Logic