罗布·范·格拉贝克。 异步演算中同步的编码有效性。 （英语） Zbl 1390.68490号 Inf.流程。莱特。 137, 17-25 (2018). 小结：过程计算可以通过它们之间的编码来比较它们的表达能力。一个被广泛接受的定义是什么构成了有效的编码，用于证明过程计算之间的相对表达结果D.戈拉【Inf.Compute.208，No.9，1031–1053（2010；Zbl 1209.68336号)]. 在这项工作之前，通常使用不同且通常不兼容的编码质量标准来获得不同的编码和分离结果。有效编码的教科书示例是G.布多尔[异步和（pi）演算.技术报告1702，INRIA（1992）]和K.本田和M.Tokoro先生[“异步通信的对象演算”，Lect.Notes Compute.Sci.512，133–147（1991；doi:10.1007/BFb0057019)]将同步无选择演算转换为异步片段，说明后者的表现力不亚于前者。在这里，我正式确定这些编码确实满足Gorla的标准。 引用于4文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：并发;过程结石;表现力;编码质量标准;\（\pi\）-微积分 引文：Zbl 1209.68336号 软件：LOTOS公司 PDF格式BibTeX公司 XML格式引用 \textit{R.J.van Glabbeek}，Inf.过程。莱特。137、17-25（2018；Zbl 1390.68490） 全文： 内政部 arXiv公司 参考文献： [1] Austry，D。；Boudol，G.，Algèbre de processus et synchronizations，Theor。计算。科学。，30, 1, 91-131, (1984) ·Zbl 0533.68026号 [2] 巴尔达穆斯，M。；帕罗，J。；Victor，B.，Spi演算翻译为π-保留演算的可能测试（Proc.LICS’04，（2004）），22-31 [3] Bergstra，J.A。；Klop，J.W.，通信过程代数，（数学与计算机科学，CWI专著，第1卷，（1986），北荷兰），89-138·Zbl 0605.68013号 [4] 博洛涅西，T。；Brinksma，E.，ISO规范语言LOTOS简介，计算。净值。，14, 25-59, (1987) [5] Boreale，M.，《关于通过姓名计算的内部流动性的表达》，Theor。计算。科学。，195, 2, 205-226, (1998) ·Zbl 0915.68059号 [6] Boudol，G.，异步和π-微积分（注），（1992），INRIA，技术报告1702 [7] Brinksma，E。；Rensink，A。；Vogler，W.，《公平测试》（Proc.CONCUR’95，Lect.Notes Compute.Sci.，第962卷，（1995），Springer），第313-327页 [8] 布鲁克斯，S.D。；霍尔，C.A.R。；Roscoe，A.W.，《通信顺序过程理论》，J.ACM，31，3，560-599，（1984）·Zbl 0628.68025号 [9] 北布西。；加布里埃利，M。；Zavattaro，G.，《关于过程计算中递归、复制和迭代的表达能力》，《数学》。结构。计算。科学。，1191-1222年6月19日（2009年）·Zbl 1191.68430号 [10] Cacciagrano，D。；Corradini，F.，《关于同步和异步通信范式》，（第七届意大利理论计算机科学会议论文集，ICTCS’01，Lect.Notes Compute.Sci.，第2202卷，（2001），Springer），256-268·Zbl 1042.68614号 [11] 卡恰格拉诺，D。；Corradini，F。；阿兰达，J。；Valencia，F.D.，异步像素中的线性、持久性和测试语义，Electron。注释Theor。计算。科学。，194, 2, 59-84, (2008) ·Zbl 1277.68167号 [12] Cacciagrano，D。；Corradini，F。；Palamidessi，C.，通过测试分离同步和异步通信，Theor。计算。科学。，386, 3, 218-235, (2007) ·Zbl 1143.68051号 [13] Carbone，M。；Maffeis，S.，《论像素中多义词同步的表达能力》，《北欧计算机杂志》。，10, 2, 70-98, (2003) ·Zbl 1062.68077号 [14] Cardelli，L。；Gordon，A.D.，《移动环境》，Theor。计算。科学。，240，177-213，（2000年）·Zbl 0954.68108号 [15] 德尼古拉，R。；Hennessy，M.，《过程等效性测试》，Theor。计算。科学。，34, 83-133, (1984) ·Zbl 0985.68518号 [16] Given-Wilson，T.，《通过内涵和并发实现表达》（Proc.ICTAC’14，Lect.Notes Compute.Sci.，第8687卷，（2014）），206-223·Zbl 1432.68307号 [17] Given-Wilson，T.，《论内涵传播的表达性》（Proc.EXPRESS/SOS’14，EPTCS，第160卷，（2014）），30-46·Zbl 1464.68247号 [18] Given-Wilson，T。；Legay，A.，《关于加入的表现力》（Proc.ICE’15，EPTCS，第189卷，（2015）），99-113·Zbl 1433.68253号 [19] Given-Wilson，T。；Legay，A.，《论对称通信的表现力》（Proc.ICTAC’16，Lect.Notes Compute.Sci.，第9965卷，（2016），Springer），139-157·Zbl 1482.68150号 [20] van Glabbeek，R.J.，《论ACP的表现力》（ACP’94 Proc.，Workshops in Computing，（1994），Springer），188-217 [21] van Glabbeek，R.J.，《编码和表达的Musings》（Proc.EXPRESS/SOS’12，EPTCS，第89卷，（2012）），第81-98页·Zbl 1459.68149号 [22] van Glabbek，R.J.，关于异步pi演算中同步编码的有效性，（2018），技术报告，数据61 CSIRO。当前论文的完整版本，可在·Zbl 1390.68490号 [23] Gorla，D.，《分布和流动的过程计算分类》，《分布计算》。，23, 4, 273-299, (2010) ·Zbl 1231.68169号 [24] Gorla，D.，《过程结石的可接受性和分离结果的统一方法》，Inf.Comput。，208, 9, 1031-1053, (2010) ·Zbl 1209.68336号 [25] Groote，J.F。；Mousavi，M.R.，《通信系统建模与分析》（2014），麻省理工学院出版社·Zbl 1353.68006号 [26] 哈根森，B。；Maffeis，S。；菲利普斯，I.，并行计算的匹配系统，电子。注释Theor。计算。科学。，194, 2, 85-99, (2008) ·Zbl 1277.68189号 [27] 哈特泽尔，M。；瓦格纳，C。；彼得斯，K。；Nestmann，U.，《将CSP编码为CCS》，（Proc.EXPRESS/SOS’15，EPTCS，第190卷，（2015）），61-75·Zbl 1476.68173号 [28] 本田，K。；Tokoro，M.，异步通信的对象演算，（Proc.CECOOP'91，Lect.Notes Comput.Sci.，第512卷，（1991），Springer），133-147 [29] 拉内斯，我。；佩雷斯，J.A。；Sangiorgi，D。；Schmitt，A.，《关于高阶过程计算中多元和同步通信的表达》，（Proc ICALP’10，Lect.Notes Compute.Sci.，第6199卷，（2010）），442-453·Zbl 1288.68183号 [30] Milner，R.，《通信系统演算》，Lect。注释计算。科学。，第92卷，（1980），施普林格·Zbl 0452.68027号 [31] Milner，R.，《同步与异步演算》，Theor。计算。科学。，25, 267-310, (1983) ·Zbl 0512.68026号 [32] Milner，R.，《函数作为过程》，数学。结构。计算。科学。，2, 2, 119-141, (1992) ·Zbl 0773.03012号 [33] 米尔纳，R。；帕罗，J。；Walker，D.，《移动进程演算》，第一部分“+”第二部分，Inf.Comput。，100, 1, 1-77, (1992) ·Zbl 0752.68037号 [34] Natarajan，V。；Cleaveland，R.，分歧和公平测试，（Proc.ICALP'95，Lect.Notes Comput.Sci.，第944卷，（1995），施普林格出版社），648-659·Zbl 1412.68155号 [35] Nestmann，U.，保护选择的“好”编码是什么？，信息计算。，156, 1-2, 287-319, (2000) ·兹比尔1046.68625 [36] 美国内斯特曼。；Pierce，B.C.，《解码选择编码》，Inf.Compute。，163, 1, 1-59, (2000) ·Zbl 1003.68080号 [37] Palamidessi，C.，《比较同步和异步像素的表达能力》，《数学》。结构。计算。科学。，13, 5, 685-719, (2003) [38] 帕拉米德斯，C。；萨拉斯瓦特，V.A。；F.D.巴伦西亚。；Victor，B.，《关于非同步pi-calculus中线性与持久性的表达》（Proc.LICS’06，（2006），IEEE Computer Society Press），59-68 [39] 帕拉米德斯，C。；Valencia，F.D.，《过程计算中递归与复制：表达力》，公牛出版社。欧洲协会。计算。科学。，87, 105-125, (2005) ·Zbl 1169.68551号 [40] Parrow，J.，三重奏合奏，（证明、语言和互动，《纪念罗宾·米尔纳的论文》，2000年，麻省理工出版社），623-638·Zbl 0968.68018号 [41] 彼得斯，K。；van Glabbek，R.J.，分析和比较可编码性标准，（EXPRESS/SOS’15，EPTCS，第190卷，（2015）），46-60·Zbl 1476.68181号 [42] 彼得斯，K。；Nestmann，U.，这是混合选择的“好”编码吗？，（Proc.FoSSaCS’12，Lect.Notes Compute.Sci.，第7213卷，（2012）），第210-224页·Zbl 1352.68190号 [43] 彼得斯，K。；Nestmann，U.，《打破对称》，《数学》。结构。计算。科学。，26, 6, 1054-1106, (2016) ·Zbl 1362.68219号 [44] 彼得斯，K。；美国内斯特曼。；Goltz，U.，《过程计算中的可分配性》，（Proc.ESOP’13，Lect.Notes Compute.Sci.，vol.7792，（2013）），310-329·Zbl 1381.68215号 [45] 彼得斯，K。；希克·J·W·。；Nestmann，U.，《异步pi-calculus中的同步与因果关系》（Proc.EXPRESS’11，EPTCS，第64卷，（2011）），第89-103页·Zbl 1457.68192号 [46] 菲利普斯，I。；Vigliotti，M.G.，《环境进程中的领袖选举》，Theor。计算。科学。，356, 3, 468-494, (2006) ·Zbl 1092.68068号 [47] 菲利普斯一世。；Vigliotti，M.G.，《环境结石的对称选举系统》，信息计算。，206, 1, 34-72, (2008) ·Zbl 1133.68059号 [48] 夸里亚，P。；Walker，D.，《关于同步和异步移动进程》，（Proc.FoSSaCS’00，Lect.Notes Compute.Sci.，第1784卷，（2000），Springer），283-296·Zbl 0961.68092号 [49] Sangiorgi，D.，发件人π-高阶微积分π-《微积分及其背后》（Proc.TAPSOFT’93，Lect.Notes Compute Sci.，vol.668，（1993）），151-166·Zbl 1497.68351号 [50] Sangiorgi，D。；Walker，D.，Theπ-《微积分：移动过程理论》（2001），剑桥大学出版社·Zbl 0981.68116号 [51] de Simone，R.，meije-SCCS中的高级同步装置，Theor。计算。科学。，37, 245-267, (1985) ·Zbl 0598.68027号 [52] Vaandrager，F.W.，过程代数的表达结果，（Proc.REX语义研讨会：基础和应用，Lect.Notes计算科学，第666卷，（1993），Springer），609-638 [53] Versari，C.公司。；北布西。；Gorrieri，R.，《过程计算中优先级的表达研究》，数学。结构。计算。科学。，19, 6, 1161-1189, (2009) ·Zbl 1191.68447号 [54] Vigliotti，M.G。；菲利普斯一世。；Palamidessi，C.，《通过领导人选举问题计算分离结果的教程》，Theor。计算。科学。，388, 1-3, 267-289, (2007) ·Zbl 1143.68056号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。