Dynamic Causality in Event Structures

DOI10.1007/978-3-319-19195-9_6zbMath1347.68252arXiv1801.02857OpenAlexW2963969734MaRDI QIDQ2827451

Youssef Arbach, Uwe Nestmann, David S. Karcher, Kirstin Peters

Publication date: 19 October 2016

Published in: Formal Techniques for Distributed Objects, Components, and Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1801.02857

zbMATH Keywords

causalityconcurrencyevent structuresdynamicity

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Replication, refinement \& reachability: complexity in dynamic condition-response graphs ⋮ Unnamed Item ⋮ Branching pomsets: design, expressiveness and applications to choreographies ⋮ Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Dynamic Causality in Event Structures

Cites Work

• Distributed probabilistic and quantum strategies
• Configuration structures, event structures and Petri nets
• Concurrency and atomicity
• Flow models of distributed computations: Three equivalent semantics for CCS
• Parallel product of event structures
• Contextual Petri nets, asymmetric event structures, and processes
• Domain and event structure semantics for Petri nets with read and inhibitor arcs
• Higher-Order Dynamics in Event Structures
• Dynamic Causality in Event Structures
• Event Structure Semantics of Parallel Extrusion in the Pi-Calculus
• Nested Dynamic Condition Response Graphs
• Mathematical Foundations of Computer Science 2004
• Causal ambiguity and partial orders in event structures
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item