Composing codensity bisimulations

DOI10.1145/3661814.3662139MaRDI QIDQ6970221zbMATH OpenFDO

Authors Kazuki Watanabe, Jurriaan Rot, Shin-ya Katsumata

Publication date 18 June 2025

Full work available at URL https://doi.org/10.1145/3661814.3662139

zbMATH Keywords

bisimulationcoalgebradistributive lawfibration

Mathematics Subject Classification ID

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

Cites work

• (Metric) bisimulation games and real-valued modal logics for coalgebras
• A behavioural pseudometric for probabilistic transition systems
• A general account of coinduction up-to
• Behavioral metrics via functor lifting
• Bisimulation can't be traced
• Bisimulation, modal logic and model checking games
• Coalgebraic behavioral metrics
• Codensity lifting of monads and its dual
• Codensity liftings of monads
• Coinductive predicates and final sequences in a fibration
• Composing codensity bisimulations
• Compositional bisimulation metric reasoning with Probabilistic Process Calculi
• Contextual behavioural metrics
• Expressive quantale-valued logics for coalgebras: an adjunction-based approach
• Expressivity of quantitative modal logics categorical foundations via codensity and approximation
• Fibrational bisimulations and quantitative reasoning
• Fibrational bisimulations and quantitative reasoning: extended version
• Forward and backward steps in a fibration
• Graded monads and behavioural equivalence games
• Higher-order mathematical operational semantics (early ideas)
• scientific article; zbMATH DE number 7204557 (Why is no real title available?)
• Kantorovich functors and characteristic logics for behavioural distances
• Logical predicates in higher-order mathematical operational semantics
• Metrics for action-labelled quantitative transition systems
• Metrics for labelled Markov processes
• Optimal Transport
• SOS formats and meta-theory: 20 years after
• Structural induction and coinduction in a fibrational setting
• Topological functors
• Up-to techniques for behavioural metrics via fibrations

Cited in

(3)

• Behavioural metrics: compositionality of the Kantorovich lifting and an application to up-to techniques
• Composing codensity bisimulations
• A no-go theorem for coalgebraic product construction

This page was built for publication: Composing codensity bisimulations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6970221)