一句话：通过允许事件增删因果依赖，提出动态因果事件结构并比较其表达能力。
事件结构通常以因果关系和冲突关系表示事件之间的直接联系，但这些关系在系统运行中被视为静态不变。本文引入动态因果性：允许某些事件的发生改变其他事件之间的因果依赖，从而突破传统事件结构的静态视角。作者先研究事件可移除因果依赖的情形，再研究可添加因果依赖的情形，最后将两者结合为动态因果事件结构。针对这三类新结构，论文将其表达能力与 Prime ESs、Dual ESs、Extended Bundle ESs 以及 ESs for Resolvable Conflicts 等已知模型进行比较，结果显示动态因果事件结构包含扩展束事件结构与对偶事件结构，但与可解冲突事件结构不可比较。
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.
@article{paperbot425,
title = {Dynamic Causality in Event Structures},
author = {Youssef Arbach and David S. Karcher and Kirstin Peters and Uwe Nestmann},
journal = {Logical Methods in Computer Science},
volume = {Volume 14, Issue 1},
year = {2018},
doi = {10.23638/lmcs-14(1:17)2018}
}