Event Identifier Logic
From MaRDI portal
Publication:5740354
DOI10.1017/S0960129513000510zbMath1342.68240OpenAlexW2113084613MaRDI QIDQ5740354
Publication date: 26 July 2016
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129513000510
Modal logic (including the logic of norms) (03B45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (7)
Behavioural logics for configuration structures ⋮ Characterising spectra of equivalences for event structures, logically ⋮ Reversibility and asymmetric conflict in event structures ⋮ Towards a taxonomy for reversible computation approaches ⋮ Local Model Checking in a Logic for True Concurrency ⋮ Forward-Reverse Observational Equivalences in CCSK ⋮ Unnamed Item
Cites Work
- A hierarchy of temporal logics with past
- Translations between modal logics of reactive systems
- Configuration structures, event structures and Petri nets
- A completed hierarchy of true concurrent equivalences
- Petri nets, event structures and domains. I
- A logical characterization of well branching event structures
- Characteristic formulae for processes with divergence
- The difference between splitting in \(n\) and \(n+1\)
- Undecidability of domino games and hhp-bisimilarity.
- Bisimulation from open maps
- Reversing algebraic process calculi
- A hierarchy of reverse bisimulations on stable configuration structures
- Model-Checking Games for Fixpoint Logics with Partial Order Models
- A Logic for True Concurrency
- Logics and Bisimulation Games for Concurrency, Causality and Conflict
- The power of the future perfect in program logics
- A modal characterization of observational congruence on finite terms of CCS
- Algebraic laws for nondeterminism and concurrency
- Refinement of actions and equivalence notions for concurrent systems
This page was built for publication: Event Identifier Logic
