Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics

DOI10.1007/978-3-642-32940-1_28zbMath1364.68285OpenAlexW2136537428MaRDI QIDQ2912692

Daniel Gebler, W. J. Fokkink

Publication date: 25 September 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-32940-1_28

Mathematics Subject Classification ID

Logic in computer science (03B70) 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)

A general SOS theory for the specification of probabilistic transition systems ⋮ SOS specifications for uniformly continuous operators ⋮ Divide and congruence. II: From decomposition of modal formulas to preservation of delay and weak bisimilarity ⋮ Compositional bisimulation metric reasoning with Probabilistic Process Calculi ⋮ Probabilistic divide \& congruence: branching bisimilarity ⋮ Logical characterization of branching metrics for nondeterministic probabilistic transition systems ⋮ Unnamed Item ⋮ Logical vs. behavioural specifications

This page was built for publication: Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics