计算机科学>计算机科学中的逻辑
标题: 历史保持互模拟下的事件结构约简
摘要: 事件结构根据事件和事件之间的依赖关系表示并发过程,这些事件建模行为关系,如因果关系和冲突。 自从引入基本事件结构以来,人们提出了许多具有不同行为关系的事件结构变体,因此它们的表达能力也有所不同。 使用更具表现力的事件结构的一个可能好处是,在考虑基本事件结构中使用的事件数量时,对相同的行为具有更紧凑的表示。 因此,本文讨论了在一个众所周知的等价概念(即历史保持互模拟)下减少事件结构大小的同时保留行为的问题。 特别地,我们在素数事件结构的两个推广上研究了这个问题。 第一种是非对称事件结构,它依赖于冲突关系的非对称形式。 第二种被称为流事件结构,支持一种选言因果关系。 更具体地说,我们描述了事件结构中的一组事件在保持原始行为的同时可以折叠为单个事件的条件。 这种折叠操作的连续应用导致了最小规模的事件结构。 然而,折叠操作的应用顺序可能导致不同的最小大小事件结构。 后者对最小规模事件结构作为行为规范表示的潜在使用具有负面影响。