Compositionality of Hennessy-Milner logic through structural operational semantics.

DOI10.1007/B11926MaRDI QIDQ5900816zbMATH OpenOpenAlexFDO

Authors Wan Fokkink, Rob van Glabbeek, Paulien de Wind

Publication date 20 April 2010

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

Full work available at URL https://doi.org/10.1007/b11926

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55) 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 Probabilistic Hennessy-Milner Logic through Structural Operational Semantics
• Precongruence formats with lookahead through modal decomposition
• Decompositional reasoning about the history of parallel processes
• Divide and congruence: from decomposition of modal formulas to preservation of branching and -bisimilarity

Cited in

(9)

• Bialgebraic methods in structural operational semantics (invited talk)
• Structural operational semantics and modal logic, revisited
• Characteristic invariants in Hennessy-Milner logic
• Compositionality of Hennessy-Milner logic by structural operational semantics
• Precongruence formats with lookahead through modal decomposition
• Decompositional reasoning about the history of parallel processes
• Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics
• scientific article; zbMATH DE number 177838 (Why is no real title available?)
• Bialgebraic methods and modal logic in structural operational semantics

This page was built for publication: Compositionality of 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 Q5900816)