Up-To Techniques for Behavioural Metrics via Fibrations

DOI10.4230/LIPICS.CONCUR.2018.17OpenAlexW2964191283MaRDI QIDQ5009431

Filippo Bonchi, Daniela Petrişan, Barbara König

Publication date: 4 August 2021

Full work available at URL: https://arxiv.org/abs/1806.11064

zbMATH Keywords

coalgebrasfibrationsbisimilarityup-to techniquesbehavioural metrics

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (13)

Weakest preconditions in fibrations ⋮ Bisimulation as a logical relation ⋮ Divergences on monads for relational program logics ⋮ Unnamed Item ⋮ Combining semilattices and semimodules ⋮ The Lattice-Theoretic Essence of Property Directed Reachability Analysis ⋮ Unnamed Item ⋮ Hausdorff coalgebras ⋮ Bisimulation and coinduction enhancements: a historical perspective ⋮ Weakest preconditions in fibrations ⋮ Monads and Quantitative Equational Theories for Nondeterminism and Probability ⋮ Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic ⋮ Corecursion up-to via causal transformations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Metrics for labelled Markov processes
• Bialgebras for structural operational semantics: an introduction
• Handbook of weighted automata
• Generic weakest precondition semantics from monads enriched with order
• Structural induction and coinduction in a fibrational setting
• Categorical logic and type theory
• Universal coalgebra: A theory of systems
• A behavioural pseudometric for probabilistic transition systems
• 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 bisimulation metric reasoning with Probabilistic Process Calculi
• Behavioral Metrics via Functor Lifting
• 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
• Generalizing determinization from automata to coalgebras
• Sound up-to techniques and Complete abstract domains
• Towards Trace Metrics via Functor Lifting
• Automata, Languages and Programming
• The Largest Respectful Function
• Optimal Transport

This page was built for publication: Up-To Techniques for Behavioural Metrics via Fibrations