事件结构的最小化

事件结构是并发理论中的基本模型，提供了计算中事件及其关系（尤其是并发、冲突与因果性）的表示。本文提出一种事件结构最小化理论。我们在一类推广了文献中许多稳定事件结构模型（例如素、非对称、流与束事件结构）的事件结构类中工作，研究了一种保持行为的商，称为折叠（folding），并以（遗传）历史保持互模拟作为参照行为等价。我们证明对任意事件结构，总存在一个产生唯一确定的最小商的折叠。我们观察到每个事件结构都可视为一个素事件结构的折叠，且一般事件结构间的所有折叠均源于（适当定义的）相应素事件结构的折叠。这赋予了素事件结构类中的折叠特殊重要性，我们对其进行了详细研究。我们辨识了素与非对称事件结构的折叠条件，并证明素事件结构也总容许唯一最小商（而其他多种事件结构模型则并非如此）。