Up-to techniques for behavioural metrics via fibrations
From MaRDI portal
Publication:6190392
DOI10.1017/s0960129523000166OpenAlexW2810951232MaRDI QIDQ6190392
Barbara König, Filippo Bonchi, Daniela Petrişan
Publication date: 5 March 2024
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129523000166
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A general account of coinduction up-to
- Metrics for labelled Markov processes
- Bialgebras for structural operational semantics: an introduction
- Gromov-Wasserstein distances and the metric approach to object matching
- A hierarchy of probabilistic system types
- Handbook of weighted automata
- Generic weakest precondition semantics from monads enriched with order
- Categorical logic and type theory
- Universal coalgebra: A theory of systems
- A behavioural pseudometric for probabilistic transition systems
- Fibrational bisimulations and quantitative reasoning
- Hausdorff coalgebras
- Bisimulation and coinduction enhancements: a historical perspective
- Trace semantics via determinization
- Topological theories and closed objects
- Expressivity of coalgebraic modal logic: the limits and beyond
- Computing Behavioral Distances, Compositionally
- The power of parameterization in coinductive proof
- Checking NFA equivalence with bisimulations up to congruence
- Compositional Metric Reasoning with Probabilistic Process Calculi
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi
- Behavioral Metrics via Functor Lifting
- Friends with Benefits
- Finitary Functors: From Set to Preord and Poset
- Generalized Bisimulation Metrics
- Up-To Techniques for Weighted Systems
- Complete Lattices and Up-To Techniques
- On the bisimulation proof method
- Coinduction up-to in a fibrational setting
- Coinduction All the Way Up
- Quantitative Algebraic Reasoning
- Generalizing determinization from automata to coalgebras
- Monads and Quantitative Equational Theories for Nondeterminism and Probability
- Sound up-to techniques and Complete abstract domains
- Fibrational bisimulations and quantitative reasoning: Extended version
- Towards Trace Metrics via Functor Lifting
- Automata, Languages and Programming
- Relational algebras
- Optimal Transport
This page was built for publication: Up-to techniques for behavioural metrics via fibrations