Minimisation of event structures
From MaRDI portal
Publication:2084951
DOI10.1016/j.tcs.2022.09.006OpenAlexW4288281682MaRDI QIDQ2084951
Paolo Baldan, Alessandra Raffaetà
Publication date: 14 October 2022
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1907.07042
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Reduction of event structures under history preserving bisimulation
- On the nature of events: another perspective in concurrency
- Configuration structures, event structures and Petri nets
- Typed event structures and the linear \(\pi \)-calculus
- Petri nets, event structures and domains. I
- Undecidability of domino games and hhp-bisimilarity.
- Contextual Petri nets, asymmetric event structures, and processes
- Bisimulation from open maps
- Behavioural logics for configuration structures
- On the expressiveness of higher dimensional automata
- A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions
- Event Structure Semantics of Parallel Extrusion in the Pi-Calculus
- Process Mining Reloaded: Event Structures as a Unified Representation of Process Models and Event Logs
- On Thin Air Reads Towards an Event Structures Model of Relaxed Memory
- Minimal transition systems for history-preserving bisimulation
- On relating rewriting systems and graph grammars to event structures
- On the nature of events
- Coreflective Subcategories
- Event Structure Semantics for Nominal Calculi
- Refinement of actions and equivalence notions for concurrent systems
This page was built for publication: Minimisation of event structures
