Kantorovich functors and characteristic logics for behavioural distances
From MaRDI portal
Publication:6091180
DOI10.1007/978-3-031-30829-1_3arXiv2202.07069MaRDI QIDQ6091180
Pedro Nora, Paul Wild, Dirk Hofmann, Sergei S. Goncharov, Lutz Schröder
Publication date: 24 November 2023
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2202.07069
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An introduction to quantaloid-enriched categories
- Metrics for weighted transition systems: axiomatization and complexity
- Expressive logics for coalgebras via terminal sequence induction
- Exponentiable functors between quantaloid-enriched categories
- Bisimulation through probabilistic testing
- Universal coalgebra: A theory of systems
- A behavioural pseudometric for probabilistic transition systems
- Quantaloids, enriched categories and automata theory
- Hausdorff coalgebras
- A quantified coalgebraic van Benthem theorem
- Lax extensions of coalgebra functors and their logic
- Ordered topological structures
- Expressivity of coalgebraic modal logic: the limits and beyond
- Bisimulation for labelled Markov processes
- Exponentiation in \({\mathcal V}\)-categories
- Neighbourhood Structures: Bisimilarity and Basic Model Theory
- On Choosing and Bounding Probability Metrics
- (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras
- Quantitative Behavioural Reasoning for Higher-order Effectful Programs
- Fibrational bisimulations and quantitative reasoning: Extended version
- Computer Science Logic
This page was built for publication: Kantorovich functors and characteristic logics for behavioural distances
