Fibrational bisimulations and quantitative reasoning
type: Item
instance of: scholarly article
title: Fibrational bisimulations and quantitative reasoning
DOI: 10.1007/978-3-030-00389-0_11
author: David Sprunger
author: Shin-ya Katsumata
author: Jérémy Dubut
author: Ichiro Hasuo
publication date: 2018-10-23T00:00:00Z
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 6962938
MaRDI profile type: Publication
full work available at URL: 978-3-030-00389-0 11
OpenAlex ID: W2890208395
cites work: A semantic account of metric preservation
cites work: Q5275341
cites work: Behavioral Metrics via Functor Lifting
cites work: Q4314472
cites work: A behavioural pseudometric for probabilistic transition systems
cites work: Generalized Bisimulation Metrics
cites work: Approximation Metrics for Discrete and Continuous Systems
cites work: Approximate bisimulation: a bridge between computer science and control theory
cites work: Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
cites work: Coinductive predicates and final sequences in a fibration
cites work: Structural induction and coinduction in a fibrational setting
cites work: Topological functors
cites work: Categorical logic and type theory
cites work: Q5275349
cites work: Q3934579
cites work: Topological categories with many symmetric monoidal closed structures
cites work: Q5639839
cites work: Universal coalgebra: A theory of systems
cites work: Q3205396
Recommended article: Fibrational bisimulations and quantitative reasoning: Extended version
Recommended article: Q3154151
Recommended article: Quantales, finite observations and strong bisimulation
Recommended article: Bisimulation and propositional intuitionistic logic
Recommended article: An axiomatization of bisimulation quantifiers via the \(\mu\)-calculus
Recommended article: Q3509051
Recommended article: Logical Bisimulations and Functional Languages
Recommended article: Q4251927
Recommended article: Uniform Interpolation, Bisimulation Quantifiers, and Fixed Points
Recommended article: Q4430400
description: scientific article; zbMATH DE number 6962938