Compositionality through and operational semantics of contexts

DOI10.1007/BFB0032056MaRDI QIDQ4038716zbMATH OpenFDO

Authors Kim G. Larsen, Xin Xin Liu

Publication date 18 May 1993

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

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

zbMATH Keywords

decomposition of propertiesHennessy-Milner logicmodal property transformersmu-calculus

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Compositionality Through an Operational Semantics of Contexts
• scientific article; zbMATH DE number 1231614
• Compositionality of Hennessy-Milner logic through structural operational semantics.
• scientific article; zbMATH DE number 1670578
• scientific article; zbMATH DE number 3905833

Cited in

(20)

• A compositional -calculus proof system for statecharts processes
• Model checking and boolean graphs
• Dynamic connectors for concurrency
• Observational congruences for dynamically reconfigurable tile systems
• Action transducers and timed automata
• Trace nets and process automata
• On hierarchically developing reactive systems
• Complete proof systems for weighted modal logic
• Logical vs. behavioural specifications
• A semantic framework for open processes
• Compositional operational semantics of a UML-kernel-model language
• A connector algebra for P/T nets interactions
• Tiles for Reo
• Compositionality Through an Operational Semantics of Contexts
• scientific article; zbMATH DE number 1552271 (Why is no real title available?)
• Automatic synthesis of real time systems
• scientific article; zbMATH DE number 1837651 (Why is no real title available?)
• Compositional checking of satisfaction
• Compositional checking of satisfaction
• A basic algebra of stateless connectors

This page was built for publication: Compositionality through and operational semantics of contexts

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