Similar Items: A uniform characterisation of the (a)synchronous must-preorder
- Automaton-based Characterisations of First Order Logic over Infinite Trees
- A Logic of Inability
- Full Definability in a Profunctorial Model
- A Fibrational Perspective on Differential Linear Logic
- A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes
- A formulation of D-institution using functor categories