Concurrent semantics for fusions: weak prime domains and connected event structures

DOI10.1016/j.ic.2021.104770OpenAlexW3166237316MaRDI QIDQ2051794

Andrea Corradini, Fabio Gadducci, Paolo Baldan

Publication date: 25 November 2021

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2021.104770

zbMATH Keywords

domainsconcurrencyevent structuresgraph transformationformalisms with fusion

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Models for concurrency: Towards a classification
• Configuration structures, event structures and Petri nets
• Typed event structures and the linear \(\pi \)-calculus
• Event structures and domains
• Petri nets, event structures and domains. I
• Conditional rewriting logic as a unified model of concurrency
• Concrete domains
• A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions
• Modelling of Bonding with Processes and Events
• Reversibility and Models for Concurrency
• 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
• CONCURRENT AUTOMATA AND DOMAINS
• Handbook of Graph Grammars and Computing by Graph Transformation
• On Thin Air Reads Towards an Event Structures Model of Relaxed Memory
• Continuous Lattices and Domains
• On relating rewriting systems and graph grammars to event structures
• Event Structure Semantics for Nominal Calculi