Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics

DOI10.1007/978-3-642-32940-1_28MaRDI QIDQ2912692zbMATH OpenOpenAlexFDO

Authors Daniel Gebler, Wan 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

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Compositionality of Hennessy-Milner logic by structural operational semantics
• Compositionality of Hennessy-Milner logic through structural operational semantics.
• Probabilistic operational semantics for the lambda calculus
• scientific article; zbMATH DE number 5990430
• An intuitionistic logic with probabilistic operators
• Compositional operational semantics for Prolog programs
• On the semantics and complexity of probabilistic logic programs
• Probabilistic stit logic and its decomposition
• Compositional model-theoretic semantics for logic programs
• A compositional semantics for logic programs

Cited in

(12)

• Compositionality of Hennessy-Milner logic by structural operational semantics
• A general SOS theory for the specification of probabilistic transition systems
• Compositional bisimulation metric reasoning with Probabilistic Process Calculi
• Decompositional reasoning about the history of parallel processes
• Logical characterization of branching metrics for nondeterministic probabilistic transition systems
• Modal decomposition on nondeterministic probabilistic processes
• Probabilistic divide \& congruence: branching bisimilarity
• SOS specifications for uniformly continuous operators
• Logical vs. behavioural specifications
• Divide and congruence. II: From decomposition of modal formulas to preservation of delay and weak bisimilarity
• Compositionality of Hennessy-Milner logic through structural operational semantics.
• SOS-based modal decomposition on nondeterministic probabilistic processes

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2912692)