Compositionality Through an Operational Semantics of Contexts

DOI10.1093/LOGCOM/1.6.761MaRDI QIDQ3988057zbMATH OpenOpenAlexFDO

Authors Kim G. Larsen, Xin Xin Liu

Publication date 28 June 1992

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/69fc0d718996bab6e6049e81e53c896c9909016b

zbMATH Keywords

compositionalityconcurrent systemsHennessy-Milner logicverificationweakest property transformer

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 177838
• An abstract account of composition
• scientific article; zbMATH DE number 2087508
• scientific article; zbMATH DE number 1612492
• A compositional specification theory for component behaviours

Cited in

(30)

• A compositional protocol verification using relativized bisimulation
• Reasoning about nondeterministic and concurrent actions: A process algebra approach
• Proving properties of dynamic process networks
• The power of reachability testing for timed automata
• Divide and congruence. II: From decomposition of modal formulas to preservation of delay and weak bisimilarity
• Verification of asynchronous systems with an unspecified component
• Analysis of security protocols as open systems
• Tile formats for located and mobile systems.
• Bisimilarity of open terms.
• Probabilistic divide \& congruence: branching bisimilarity
• Congruence from the operator's point of view. Syntactic requirements on modal characterizations
• SMT-based generation of symbolic automata
• Compositionality of Hennessy-Milner logic by structural operational semantics
• Logical characterisations, rule formats and compositionality for input-output conformance simulation
• Compositional equivalences based on open pNets
• Compositional operational semantics of a UML-kernel-model language
• Active evaluation contexts for reaction semantics
• Proving the validity of equations in GSOS languages using rule-matching bisimilarity
• scientific article; zbMATH DE number 7449995 (Why is no real title available?)
• Compositional reasoning for multi-modal logics
• There are two sides to every question. Controller versus attacker
• scientific article; zbMATH DE number 177838 (Why is no real title available?)
• Divide and congruence: from decomposition of modal formulas to preservation of branching and -bisimilarity
• SOS-based modal decomposition on nondeterministic probabilistic processes
• Automatic synthesis of real time systems
• scientific article; zbMATH DE number 2087508 (Why is no real title available?)
• scientific article; zbMATH DE number 1837651 (Why is no real title available?)
• A semantics for behavior trees using CSP with specification commands
• The expressive power of implicit specifications
• SOS formats and meta-theory: 20 years after

This page was built for publication: Compositionality Through an Operational Semantics of Contexts

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