带有接口的偏序集作为并发模型
摘要：引入了具有接口的偏序集（iposets），并将它们的标准串行组合推广为新的粘合组合。在并发的偏序集语义中，接口和粘合允许对时间和组件进行扩展的事件建模。或者，从分解的视角来看，接口允许穿过事件，而串行组合只能穿过偏序集的边缘。我们证明了iposets在粘合组合下形成了一个范畴，这个范畴推广了串行组合下的偏序集幺半群直到同构。当加入涵盖顺序和非交换并行组合的松弛张量时，它们形成一个二范畴，这推广了用于建模串并联偏序集的交换矩阵。我们还研究了iposets的粘合-并行层次结构，这一层次结构推广了标准的串并联层次结构。粘合-并行iposets类包含了串并联偏序集类和间隔顺序类，后者在并发理论中也有充分的研究。我们还展示了它严格地包含在所有iposets类中，通过确定了几个禁止的子结构。
作者：Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemia''nski
论文ID：2106.10895
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-11-07