Dynamic Causality in Event Structures

01/09/2018
by   Youssef Arbach, et al.
0

Event Structures (ESs) address the representation of direct relationships between individual events, usually capturing the notions of causality and conflict. Up to now, such relationships have been static, i.e. they cannot change during a system run. Thus, the common ESs only model a static view on systems. We make causality dynamic by allowing causal dependencies between some events to be changed by occurrences of other events. We first model and study the case in which events may entail the removal of causal dependencies, then we consider the addition of causal dependencies, and finally we combine both approaches in the so-called Dynamic Causality ESs. For all three newly defined types of ESs, we study their expressive power in comparison to the well-known Prime ESs, Dual ESs, Extended Bundle ESs, and ESs for Resolvable Conflicts. Interestingly, Dynamic Causality ESs subsume Extended Bundle ESs and Dual ESs but are incomparable with ESs for Resolvable Conflicts.

READ FULL TEXT

page 1

page 2

page 3

page 4

10/06/2019

Representing Dependencies in Event Structures

Event structures where the causality may explicitly change during a comp...
08/23/2019

Conflict vs Causality in Event Structures

Event structures are one of the best known models for concurrency. Many ...
08/26/2015

Real-time Top-K Predictive Query Processing over Event Streams

This paper addresses the problem of predicting the k events that are mos...
07/08/2020

Reconciling Causality and Statistics

Statisticians have warned us since the early days of their discipline th...
03/27/2019

Tracking the Consumption Junction: Temporal Dependencies between Articles and Advertisements in Dutch Newspapers

Historians have regularly debated whether advertisements can be used as ...
01/03/2019

Causality Analysis for Concurrent Reactive Systems (Extended Abstract)

We present a comprehensive language theoretic causality analysis framewo...
04/15/2020

Mendelian randomization and causal networks for systematic analysis of omics

Mendelian randomization implemented through instrumental variable analys...