Computing Behavioral Distances, Compositionally
From MaRDI portal
Publication:2849899
DOI10.1007/978-3-642-40313-2_9zbMath1400.68144OpenAlexW1948727931MaRDI QIDQ2849899
Giorgio Bacci, Giovanni Bacci, Radu Mardare, Kim Guldstrand Larsen
Publication date: 20 September 2013
Published in: Mathematical Foundations of Computer Science 2013 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-40313-2_9
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (10)
A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces ⋮ A general SOS theory for the specification of probabilistic transition systems ⋮ Convex lattice equation systems ⋮ Back to the format: a survey on SOS for probabilistic processes ⋮ Up-to techniques for behavioural metrics via fibrations ⋮ Compositional bisimulation metric reasoning with Probabilistic Process Calculi ⋮ Up-To Techniques for Behavioural Metrics via Fibrations ⋮ \(L^\ast\)-based learning of Markov decision processes (extended version) ⋮ Unnamed Item ⋮ Compositional weak metrics for group key update
This page was built for publication: Computing Behavioral Distances, Compositionally
