当前位置: X-MOL 学术arXiv.cs.LO › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Representing Dependencies in Event Structures
arXiv - CS - Logic in Computer Science Pub Date : 2019-10-06 , DOI: arxiv-1910.02521
G. Michele Pinna

Event structures where the causality may explicitly change during a computation have recently gained the stage. In this kind of event structures the changes in the set of the causes of an event are triggered by modifiers that may add or remove dependencies, thus making the happening of an event contextual. Still the focus is always on the dependencies of the event. In this paper we promote the idea that the context determined by the modifiers plays a major role, and the context itself determines not only the causes but also what causality should be. Modifiers are then used to understand when an event (or a set of events) can be added to a configuration, together with a set of events modeling dependencies, which will play a less important role. We show that most of the notions of Event Structure presented in literature can be translated into this new kind of event structure, preserving the main notion, namely the one of configuration.

中文翻译:

在事件结构中表示依赖关系

因果关系可能在计算过程中显着改变的事件结构最近获得了舞台。在这种事件结构中,事件原因集的变化由可能添加或删除依赖关系的修饰符触发,从而使事件的发生具有上下文。重点始终是事件的依赖关系。在本文中,我们提倡由修饰语决定的语境起主要作用的观点,语境本身不仅决定了原因,而且还决定了因果关系。然后使用修饰符来了解何时可以将一个事件(或一组事件)添加到配置中,以及一组事件建模依赖项,这将起到不太重要的作用。
更新日期:2020-08-25
down
wechat
bug