Dynamic Causality in Event Structures (Technical Report)

TL;DR

This paper introduces an extension of Prime Event Structures that models dynamic causal relations, allowing events to modify causal dependencies, and analyzes its expressive power compared to existing structures.

Contribution

It presents a novel extension of Prime Event Structures to capture dynamic causality, with detailed analysis and proofs of its expressive capabilities.

Findings

The extended structures can express dynamic causal changes.

The expressive power surpasses traditional Prime Event Structures.

Additional proofs and technical details are provided.

Abstract

In [1] we present an extension of Prime Event Structures by a mechanism to express dynamicity in the causal relation. More precisely we add the possibility that the occurrence of an event can add or remove causal dependencies between events and analyse the expressive power of the resulting Event Structures w.r.t. to some well-known Event Structures from the literature. This technical report contains some additional information and the missing proofs of [1].