Youssef Arbach ; David S. Karcher ; Kirstin Peters ; Uwe Nestmann - Dynamic Causality in Event Structures

lmcs:4196 - Logical Methods in Computer Science, February 27, 2018, Volume 14, Issue 1 - https://doi.org/10.23638/LMCS-14(1:17)2018
Dynamic Causality in Event StructuresArticle

Authors: Youssef Arbach ; David S. Karcher ; Kirstin Peters ORCID; Uwe Nestmann

    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.


    Volume: Volume 14, Issue 1
    Published on: February 27, 2018
    Accepted on: January 10, 2018
    Submitted on: January 10, 2018
    Keywords: Computer Science - Logic in Computer Science

    10 Documents citing this article

    Consultation statistics

    This page has been seen 1339 times.
    This article's PDF has been downloaded 456 times.