Compositionality Through an Operational Semantics of Contexts
From MaRDI portal
Publication:3988057
DOI10.1093/logcom/1.6.761zbMath0738.68056OpenAlexW2095082129MaRDI QIDQ3988057
Xin Xin Liu, Kim Guldstrand Larsen
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
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Modal logic (including the logic of norms) (03B45) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Proving the validity of equations in GSOS languages using rule-matching bisimilarity ⋮ Compositionality of Hennessy-Milner logic by structural operational semantics ⋮ Compositional Reasoning for Multi-modal Logics ⋮ There are Two Sides to Every Question ⋮ SOS formats and meta-theory: 20 years after ⋮ Proving properties of dynamic process networks ⋮ Divide and congruence. II: From decomposition of modal formulas to preservation of delay and weak bisimilarity ⋮ Congruence from the operator's point of view. Syntactic requirements on modal characterizations ⋮ SMT-based generation of symbolic automata ⋮ The power of reachability testing for timed automata ⋮ Logical characterisations, rule formats and compositionality for input-output conformance simulation ⋮ Compositional equivalences based on open pNets ⋮ Divide and congruence: from decomposition of modal formulas to preservation of branching and \(\eta \)-bisimilarity ⋮ Unnamed Item ⋮ Verification of asynchronous systems with an unspecified component ⋮ Automatic synthesis of real time systems ⋮ A compositional protocol verification using relativized bisimulation ⋮ The expressive power of implicit specifications ⋮ Probabilistic divide \& congruence: branching bisimilarity ⋮ A semantics for behavior trees using CSP with specification commands ⋮ Unnamed Item ⋮ Reasoning about nondeterministic and concurrent actions: A process algebra approach ⋮ Analysis of security protocols as open systems ⋮ Tile formats for located and mobile systems. ⋮ Bisimilarity of open terms. ⋮ Active Evaluation Contexts for Reaction Semantics
