Generalized Bisimulation Metrics

DOI10.1007/978-3-662-44584-6_4MaRDI QIDQ3190107zbMATH OpenOpenAlexFDO

Authors Konstantinos Chatzikokolakis, Daniel Gebler, Catuscia Palamidessi, Lili Xu

Publication date 15 September 2014

Published in CONCUR 2014 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/hal-01011471/file/concur.pdf

Mathematics Subject Classification ID

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

Recommendations

• Up-to techniques for generalized bisimulation metrics
• Bisimulation metrics for weighted automata
• scientific article; zbMATH DE number 1231637
• scientific article; zbMATH DE number 4104403
• Bisimulation metrics for continuous Markov decision processes
• Weak bisimulation metrics in models with nondeterminism and continuous state spaces
• Bisimulations and bisimulation quotients of generalized Veltman models
• A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces
• Bisimulation and divergence
• Bisimulation indexes and their applications

Cited in

(22)

• A framework to measure the robustness of programs in the unpredictable environment
• scientific article; zbMATH DE number 7566075 (Why is no real title available?)
• A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces
• Up-to techniques for behavioural metrics via fibrations
• Bisimulations between generalized Veltman models and Veltman models
• How adaptive and reliable is your program?
• Asymmetric Distances for Approximate Differential Privacy
• A quantified coalgebraic van Benthem theorem
• SOS specifications for uniformly continuous operators
• Bisimilarity distances for approximate differential privacy
• (Metric) bisimulation games and real-valued modal logics for coalgebras
• Differential logical relations. I: The simply-typed case
• Logical characterization of branching metrics for nondeterministic probabilistic transition systems
• The big-O problem
• The big-O problem for labelled Markov chains and weighted automata
• Up-to techniques for behavioural metrics via fibrations
• Differential logical relations. II: Increments and derivatives
• Compositional bisimulation metric reasoning with Probabilistic Process Calculi
• Logical foundations of quantitative equality
• Model checking differentially private properties
• Up-to techniques for generalized bisimulation metrics
• Fibrational bisimulations and quantitative reasoning

This page was built for publication: Generalized Bisimulation Metrics

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