SOS specifications of probabilistic systems by uniformly continuous operators

DOI10.4230/LIPIcs.CONCUR.2015.155zbMath1374.68328OpenAlexW2266544809MaRDI QIDQ5357701

Daniel Gebler, Simone Tini

Publication date: 12 September 2017

Full work available at URL: https://doi.org/10.4230/LIPIcs.CONCUR.2015.155

zbMATH Keywords

structural operational semanticsuniform continuityprobabilistic process algebrabisimulation metric semanticscompositional metric reasoningSOS specification

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) 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

A general SOS theory for the specification of probabilistic transition systems, SOS specifications for uniformly continuous operators, Back to the format: a survey on SOS for probabilistic processes, Compositional bisimulation metric reasoning with Probabilistic Process Calculi, Metric Reasoning About $$\lambda $$-Terms: The General Case, Probabilistic divide \& congruence: branching bisimilarity, Unnamed Item, Logical characterization of branching metrics for nondeterministic probabilistic transition systems, Unnamed Item, A probabilistic calculus of cyber-physical systems, Compositional weak metrics for group key update