Compositionality Through an Operational Semantics of Contexts
From MaRDI portal
Publication:3988057
DOI10.1093/logcom/1.6.761zbMath0738.68056MaRDI QIDQ3988057
Kim Guldstrand 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
verification; concurrent systems; compositionality; Hennessy-Milner logic; weakest property transformer
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
03B45: Modal logic (including the logic of norms)
68Q55: Semantics in the theory of computing
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
The expressive power of implicit specifications, SOS formats and meta-theory: 20 years after, 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, Analysis of security protocols as open systems, Tile formats for located and mobile systems., Bisimilarity of open terms., Compositionality of Hennessy-Milner logic by structural operational semantics