Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics
DOI10.1007/978-3-642-32940-1_28zbMATH Open1364.68285OpenAlexW2136537428MaRDI QIDQ2912692FDOQ2912692
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
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
- 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
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)
Cited In (12)
- Probabilistic divide \& congruence: branching bisimilarity
- SOS-based modal decomposition on nondeterministic probabilistic processes
- SOS specifications for uniformly continuous operators
- Logical characterization of branching metrics for nondeterministic probabilistic transition systems
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi
- Compositionality of Hennessy-Milner logic through structural operational semantics.
- Compositionality of Hennessy-Milner logic by structural operational semantics
- Modal decomposition on nondeterministic probabilistic processes
- Logical vs. behavioural specifications
- Divide and congruence. II: From decomposition of modal formulas to preservation of delay and weak bisimilarity
- Decompositional reasoning about the history of parallel processes
- A general SOS theory for the specification of probabilistic transition systems
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)
