事件结构中的冲突与因果
计算机科学中的逻辑
2019-08-26 v1
摘要
事件结构是并发性最著名的模型之一。文献中已设计出该基本模型的许多变体以及针对它们的多种可能的等价概念。本文研究Van Glabbeek和Goltz为带标签素事件结构构建的等价谱系，在考虑两种简化的事件结构概念时如何变化：第一种通过移除因果关系得到（相干空间），第二种通过移除冲突关系得到（初等事件结构）。正如预期，在这两种情况下，谱系都得到了简化，因为在简化设置中某些等价概念重合；实际上，我们证明了移除因果关系比移除冲突对谱系的简化程度要大得多。此外，虽然事件的标签及其基数在移除因果关系时不发挥作用，但在无冲突的设置中，标签函数和事件集的基数都会极大地影响等价谱系。
引用
@article{arxiv.1908.08636,
title = {Conflict vs Causality in Event Structures},
author = {Daniele Gorla and Ivano Salvo and Adolfo Piperno},
journal= {arXiv preprint arXiv:1908.08636},
year = {2019}
}
备注
In Proceedings EXPRESS/SOS 2019, arXiv:1908.08213