Generalized Bisimulation Metrics

DOI10.1007/978-3-662-44584-6_4zbMath1417.68123OpenAlexW2126634848MaRDI QIDQ3190107

Konstantinos Chatzikokolakis, Lili Xu, Daniel Gebler, Catuscia Palamidessi

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)

Related Items (18)

A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces ⋮ Differential logical relations. II: Increments and derivatives ⋮ SOS specifications for uniformly continuous operators ⋮ Model checking differentially private properties ⋮ A framework to measure the robustness of programs in the unpredictable environment ⋮ Up-to techniques for behavioural metrics via fibrations ⋮ Compositional bisimulation metric reasoning with Probabilistic Process Calculi ⋮ Asymmetric Distances for Approximate Differential Privacy ⋮ A quantified coalgebraic van Benthem theorem ⋮ Up-To Techniques for Behavioural Metrics via Fibrations ⋮ (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras ⋮ Logical characterization of branching metrics for nondeterministic probabilistic transition systems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Fibrational bisimulations and quantitative reasoning ⋮ Differential logical relations, Part I: The simply-typed case ⋮ How adaptive and reliable is your program?

This page was built for publication: Generalized Bisimulation Metrics