事件结构中的动态因果关系（技术报告）
Dynamic Causality in Event Structures (Technical Report)
摘要：
在文献[1]中，我们提出了一个扩展的主要事件结构的机制，以表达动态的因果关系。更确切地说，我们添加的可能性，事件的发生可以添加或删除事件之间的因果关系，并分析所产生的事件结构的表达能力w.r.t.一些著名的事件结构。本技术报告包含一些额外的信息和[1]的缺失证明。
英文摘要：
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].
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
