Precongruence formats for decorated trace semantics
From MaRDI portal
Publication:5277691
DOI10.1145/963927.963929zbMath1367.68209arXivcs/0204039OpenAlexW2154695063MaRDI QIDQ5277691
Bard Bloom, W. J. Fokkink, Robert J. van Glabbeek
Publication date: 12 July 2017
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/cs/0204039
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (24)
Modal logic and the approximation induction principle ⋮ 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 ⋮ A Pre-congruence Format for XY-simulation ⋮ SOS formats and meta-theory: 20 years after ⋮ SOS specifications for uniformly continuous operators ⋮ Divide and congruence. II: From decomposition of modal formulas to preservation of delay and weak bisimilarity ⋮ Out for coffee: with Rob ⋮ Congruence from the operator's point of view. Syntactic requirements on modal characterizations ⋮ When are prime formulae characteristic? ⋮ Logical characterisations, rule formats and compositionality for input-output conformance simulation ⋮ Divide and congruence: from decomposition of modal formulas to preservation of branching and \(\eta \)-bisimilarity ⋮ Back to the format: a survey on SOS for probabilistic processes ⋮ Verification of asynchronous systems with an unspecified component ⋮ Probabilistic divide \& congruence: branching bisimilarity ⋮ Ensuring liveness properties of distributed systems: open problems ⋮ A precongruence format for should testing preorder ⋮ Divide and congruence. III: From decomposition of modal formulas to preservation of stability and divergence ⋮ Unnamed Item ⋮ The expressiveness of CSP with priority ⋮ Bialgebraic methods and modal logic in structural operational semantics ⋮ Divide and congruence III: Stability & divergence ⋮ A comparison of Statecharts step semantics
This page was built for publication: Precongruence formats for decorated trace semantics
