事件结构中的冲突与因果关系

@正在进行{Gorla2019ConflictVC，title={事件结构中的冲突与因果}，author={丹尼尔·戈拉（Daniele Gorla）、伊万诺·萨尔沃（Ivano Salvo）和阿道夫·皮珀诺（Adolfo Piperno）}，booktitle={组合国际研讨会表达并发性和研讨会结构操作语义}，年份={2019}，网址={https://api.semanticscholar.org/CorpusID:201645275}}
本文研究了Van Glabbeek和Goltz构建的标记素数事件结构的等价谱在考虑事件结构的两个简化概念时是如何变化的，并证明消除因果关系比消除冲突更能简化谱。
[PDF]语义阅读器

本文中的数字

3引文

事件结构中的冲突与因果关系

事件结构等效谱的逻辑表征

向安娜·拉布拉致敬

38参考文献

并发系统动作和等价概念的精化

证明了线性时间偏序语义在求精下是不变的，并根据并发系统的等价概念，考虑线性时间和分支时间方法，研究了动作求精与抽象的相互作用。

不确定并发过程的偏序描述和观测

为了获得更抽象的语义定义，在标记事件结构上引入了新的观察等价概念，既保持了并发性，又保持了不确定性。

Petri网，事件结构和域，第一部分

配置结构

在集合标记解释下，没有自循环的Petri网在行为上与配置结构等价，在这个意义上，在历史-保存互模拟的两个方向上都有翻译。

Petri网、事件结构和域

本文的总体目标是结合Petri和Scott的方法找到一种并发理论，并通过显示因果网如何诱导某些类型的域，其中的信息点是某些事件集，从而将事件的抽象思想与信息域联系起来。

事件结构

本文介绍了事件结构的数学理论，它们与Petri网和Scott域的关系，以及如何利用它们为并行过程的编程语言以及具有更高类型的语言提供语义。

线性时间分支时间谱II

本文研究了具有无声运动的序列系统的语义等价性和前序，将注意力局限于从成功终止、随机和实时中抽象出来的语义等价和前序…

真正并发的逻辑

一种真正并发的逻辑，其公式预测了计算中的事件及其因果依赖关系，是遗传历史提供的双相似性，可以识别出与文献中其他真正并发行为等价的逻辑片段。

线性时间分支时间谱（扩展抽象）

部分订单的并发建模

本文提取了一种单一的混合方法，该方法具有混合代数和逻辑的丰富语言，并具有一类自然的并发过程模型，部分字符串的概念是从字符串作为线性有序多集的观点中导出的，通过放松线性约束，从而允许对多集或pomset进行部分排序。