费罗鲁贾·切里夫 素事件结构前后互模拟的研究。 （英语） Zbl 0770.68084号 计算。Artif公司。智力。 第5481-496号第11页（1992年）. 摘要：前后互模拟首先由引入R.德尼古拉,U.Montanari公司和F.W.Vaandrager先生【Lect.Notes Compute.Sci.458152-165（1990）】。本文提出了事件结构前后互模拟的定义。我们表明，我们的建议可以以统一的方式进行修改，以生成step、partial word和pomset互模拟的来回版本。我们研究了这些新的等价性，并将它们与其他分支时间语义进行了比较。 引用于4文件 理学硕士： 68问题55 计算理论中的语义学 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） 关键词：并行语义;并发;行动的细化;前后互模拟;事件结构;分支时间语义 PDF格式BibTeX公司 XML格式引用 \textit{F.Cherief}，计算。Artif公司。智力。11，第5号，481--496（1992；Zbl 0770.68084）