Fibrational bisimulations and quantitative reasoning

DOI10.1007/978-3-030-00389-0_11OpenAlexW2890208395MaRDI QIDQ1798795

Shin-ya Katsumata, Ichiro Hasuo, Jérémy Dubut, David Sprunger

Publication date: 23 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-030-00389-0_11

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (6)

Bisimulation as a logical relation ⋮ Weighted and branching bisimilarities from generalized open maps ⋮ Up-to techniques for behavioural metrics via fibrations ⋮ Unnamed Item ⋮ Codensity Lifting of Monads and its Dual ⋮ Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Coinductive predicates and final sequences in a fibration
• Approximate bisimulation: a bridge between computer science and control theory
• 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
• Behavioral Metrics via Functor Lifting
• Generalized Bisimulation Metrics
• Topological categories with many symmetric monoidal closed structures
• Topological functors
• Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
• Approximation Metrics for Discrete and Continuous Systems
• A semantic account of metric preservation

This page was built for publication: Fibrational bisimulations and quantitative reasoning