scientific article; zbMATH DE number 177838

MaRDI QIDQ4038716zbMATH OpenFDO

Authors Kim G. Larsen, Xin Xin Liu

Publication date 18 May 1993

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:

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