戴维·德·弗鲁托斯·埃斯克里格;卡洛斯·格雷戈里奥·罗德里格斯;米盖尔·帕洛米诺 准备预购：代数和一般证明。 （英语） Zbl 1187.68309号 J.日志。阿尔盖布。程序。 78，第7期，539-551（2009）. 摘要：关于并发过程的行为等价，已经有很多建议，其中许多都在Van Glabbeek的线性时间分支时间谱中提出。由于它们最初的定义基于完全不同的思想，证明它们的一般属性似乎需要逐个案例进行研究。然而，使用它们的公理化可以进行统一的处理，从而可以对这些属性进行一般性的证明。最近，Aceto、Fokkink和Ingólfsdóttir提出了一个非常有趣的结果：对于线性时间分支时间谱中比就绪模拟更粗糙的任何过程，他们展示了如何获得诱导等价的公理化。不幸的是，他们的证明并不统一，需要逐案分析。根据上述代数方法，本文给出了该结果的一个更简单的证明，此外，该证明更一般且完全一致，因此不需要逐个考虑谱中的不同语义。 引用于8文件 MSC公司： 68问题55 计算理论中的语义学 关键词：进程代数;语义对等;语义前序;公理化;线性时间分支时间谱 PDF格式BibTeX公司 XML格式引用 \textit{D.de Frutos Escrig}等人，J.Log。阿尔盖布。程序。78，第7号，539--551（2009；Zbl 1187.68309） 全文： 内政部 参考文献： [1] Abramsky，Samson，《交互模拟、信息和计算的领域方程》，92，2611-218（1991）·Zbl 0718.68057号 [2] 卢卡·埃特罗（Luca Aceto）；Wan Fokkink；罗布·范格拉贝克（Rob van Glabbeek）；Ingólfsdóttir，Anna，有限树上的嵌套语义等式困难，信息与计算，191,2203-232（2004）·Zbl 1101.68690号 [3] 卢卡·埃特罗（Luca Aceto）；Wan Fokkink；Ingólfsdóttir，Anna，2-嵌套模拟不是有限的等式公理化的，（Ferreira，Alfonso；Reichel，Horst，STACS 2001。STACS 2001，计算机科学讲稿，第2010卷（2001年），Springer），39-50·Zbl 0976.68111号 [4] 卢卡·埃特罗（Luca Aceto）；Wan Fokkink；Ingólfsdóttir，Anna，准备预订：免费获取BCCSP公理化！，（Mossakowski，Till；Montanari，Ugo；Haveraaen，Magne，Proc.第二届计算机科学代数和余代数会议-CALCO'07）。程序。第二届计算机科学代数和余代数会议-CALCO’07，计算机科学讲义，第4624卷（2007），Springer），65-79·Zbl 1214.68239号 [5] 斯特凡·布洛姆；Wan Fokkink；Nain，Sumit，《关于就绪跟踪、就绪模拟和故障跟踪的公理化性》，（Baeten，Jos C.M.；Lenstra，Jan Karel；Parrow，Joachim；Woeginger，Gerhard J.，ICALP.ICALP，计算机科学讲义，第2719卷（2003），Springer），109-118·Zbl 1039.68081号 [6] 布鲁姆，巴德；Istrail，Sorin；Albert R.Meyer，《无法追踪相互模拟》，《美国医学杂志》，第42期，第123-268页（1995年）·Zbl 0886.68027号 [7] Taolue Chen，Wan Fokkink，Rob J.van Glabbeek，Ready to preorder:the case of weak process semantics。信息处理快报。，doi:10.1016/j.ipl.2008.09.003。；Taolue Chen，Wan Fokkink，Rob J.van Glabbeek，Ready to preorder:the case of weak process semantics。信息处理快报。，doi:10.1016/j.ipl.2008.09.003·Zbl 1191.68434号 [8] de Frutos-Escrig，大卫；Gregorio-Rodr´guez，Carlos，线性时间分支时间谱的双向模拟，（Abadi，Mart´n；de Alfaro，Luca，CONCUR 2005-并发理论，第十六届国际会议。CONCUR 2005-并发理论，第一届国际会议，计算机科学讲义，第3653卷（2005），Springer），278-292·Zbl 1134.68457号 [9] David de Frutos-Escrig、Carlos Gregorio-Rodrguez，《模拟向上和规范预订单》（扩展摘要），摘自：Rob van Glabbeek和Matthew Hennessy（编辑），《结构操作语义》2007年，《理论计算机科学电子笔记》第192（1）卷，爱思唯尔出版社，第13-28页，2007年。；David de Frutos-Escrig、Carlos Gregorio-Rodrguez，《模拟向上和规范预订单》（扩展摘要），摘自：Rob van Glabbeek和Matthew Hennessy（编辑），《结构操作语义》2007年，《理论计算机科学电子笔记》第192（1）卷，爱思唯尔出版社，第13-28页，2007年·Zbl 1278.68148号 [10] de Frutos-Escrig，大卫；Gregorio-Rodr´guez，Carlos，《过程语义的通用共推表征》，（第五届IFIP理论计算机科学国际会议，第237卷（2008），Springer科学与商业媒体），397-412 [11] de Frutos-Escrig，大卫；卡洛斯·格雷戈里奥·罗德·恩格斯；Palomino，Miguel，Coinductive characterizations揭示了预订单和等价物之间的良好关系，（Chen，Yixiang；Zhang，Guo-Qing；Panangaden，Prakash，FICS 2008）。FICS 2008，《理论计算机科学电子笔记》，第212卷（2008），爱思唯尔出版社，149-162·兹比尔1286.68350 [12] Wan Fokkink；Nain，Sumit，《有限字母和无限基：从就绪对到可能世界》，（Walukiewicz，Igor，FoSSaCS，FoSSa CS，计算机科学讲义，第2987卷（2004），Springer），182-194·Zbl 1126.68497号 [13] Wan Fokkink；Nain，Sumit，《失效语义的有限基础》（Caires，Lu’s；Italiano，Giuseppe F.；Monteiro，Lu′s；Palamidessia，Catuscia；Yung，Moti，ICALP.ICALP，《计算机科学讲义》，第3580卷（2005），Springer），755-765·Zbl 1084.68082号 [14] van Glabbeek，Rob J.，《线性时间分支时间谱I：具体、顺序过程的语义》，（Bergstra，J.A.；Ponse，A.；Smolka，S.A.，《过程代数手册》（2001），Elsevier），3-99·Zbl 1035.68073号 [15] Larsen，Kim G。；Skou，Arne，通过概率测试的互模拟，信息与计算，94，1，1-28（1991）·Zbl 0756.68035号 [16] Park，David M.R.，无限序列上的并发和自动机，（Deussen，Peter，《理论计算机科学》，第五届GI-会议。《理论计算机学》，第5届GI-大会，《计算机科学讲义》，第104卷（1981），Springer），167-183·Zbl 0457.68049号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。