Compositional Metric Reasoning with Probabilistic Process Calculi
From MaRDI portal
Publication:2949442
DOI10.1007/978-3-662-46678-0_15zbMath1459.68143arXiv1610.06162OpenAlexW2287341768MaRDI QIDQ2949442
Daniel Gebler, Simone Tini, Kim Guldstrand Larsen
Publication date: 1 October 2015
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1610.06162
Semantics in the theory of computing (68Q55) 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 (8)
SOS specifications for uniformly continuous operators ⋮ Up-to techniques for behavioural metrics via fibrations ⋮ Compositional bisimulation metric reasoning with Probabilistic Process Calculi ⋮ Metric Reasoning About $$\lambda $$-Terms: The General Case ⋮ Unnamed Item ⋮ Logical characterization of branching metrics for nondeterministic probabilistic transition systems ⋮ Unnamed Item ⋮ A probabilistic calculus of cyber-physical systems
This page was built for publication: Compositional Metric Reasoning with Probabilistic Process Calculi
