Back and Forth Bisimulations On Prime Event Structures
Back and Forth Bisimulations On Prime Event Structures
复制标题
主要事件结构的来回互模拟
DOI：
10.1007/3-540-55599-4_128
复制
发表时间：
1992
期刊：
影响因子：
--
通讯作者：
Ferroudja Cherief
中科院分区：
文献类型：
--
作者：
Ferroudja Cherief
在[DNMV90]中首次引入了来回互模拟。在本文中，我们提出了一个定义的来回双同步事件结构。我们表明，我们的建议可以适应在一个统一的方式来产生一步来回bisimumulant和pomset来回bisimumulant。我们调查这些新的等价物，并将它们与其他分支时间语义进行比较。
Back and forth bisimulations have been first introduced in [DNMV90]. In this paper, we propose a definition of back and forth bisimulalion for event structures. We show that our proposal can be adapted in a uniform way to yield step back and forth bisimulalion and pomset back and forth bisimulalion. We investigate these new equivalences and compare them to other branching time semantics.