×

无替代性:分离过程结石的标准。 (英语) Zbl 1462.68126号

小结:我们引入了一个新的标准来识别过程计算的相对表达性。直觉上,微积分是无需更换如果将无法执行任何可见操作的子进程替换为任意子进程,则不会影响结果进程执行可见操作的能力。通过依赖我们标准的两个稍有不同的公式,我们将过程计算集划分为三类。然后,我们证明了在任何两个这样的类之间不存在合适的编码;因此,属于不同类别的calculi具有不同的相对表现力。最后,我们对主流演算CCS和(pi)演算的许多著名变体进行了分类,从而证明了它们的表达能力差距。

MSC公司:

68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Nestmann,U.,欢迎来到丛林:移动进程计算的主观指南,(CONCUR.CONCUR,LNCS,第4137卷(2006),Springer),52-63·Zbl 1151.68548号
[2] Palamidessi,C.,《比较同步和异步π计算的表达能力》,数学。结构。计算。科学。,13, 5, 685-719 (2003)
[3] Gorla,D.,《通过相对表达力比较通信原语》,Inf.Compute。,206, 8, 931-952 (2008) ·Zbl 1169.68009号
[4] 克里维兰,R。;吕特根,G。;Natarajan,V.,第12章-过程代数中的优先级,(过程代数手册(2001)),711-765·Zbl 1062.68079号
[5] Carbone,M。;Maffeis,S.,《关于π-演算中多进制同步的表达能力》,Nord.J.Compute。,10, 2, 70-98 (2003) ·Zbl 1062.68077号
[6] Gorla,D.,《过程计算可编码性和分离结果的统一方法》,Inf.Comput。,208,9,1031-1053(2010年)·Zbl 1209.68336号
[7] Phillips,I.,CCS,带优先防护装置,Log。代数程序。,75, 1, 139-165 (2008) ·Zbl 1134.68042号
[8] 阿兰达,J。;巴伦西亚,F。;Versari,C.,《关于CCS中限制和优先权的表达能力与复制》,(FOSSACS.FOSSACS,LNCS,第5504卷(2009年),Springer),242-256·Zbl 1234.68284号
[9] Versari,C。;北布西。;Gorrieri,R.,《过程计算中优先级的表达研究》,数学。结构。计算。科学。,1161-1189年6月19日(2009年)·Zbl 1191.68447号
[10] Fu,Y。;Lu,H.,《论互动的表现力》,Theor。计算。科学。,441, 11-13, 1387-1451 (2010) ·Zbl 1191.68436号
[11] van Glabbeek,R.J.,《编码和表达的缪斯》,(Luttik,B.;Reniers,M.A.,EXPRESS/SOS.EXPRESS/SOS,EPTCS,第89卷(2012)),第81-98页·兹比尔1459.68149
[12] Given-Wilson,T。;戈拉,D。;Jay,B.,并发模式演算,Log。方法计算。科学。,10, 3 (2014) ·Zbl 1338.68202号
[13] 菲利普斯一世。;Vigliotti,M.,《环境进程中的领袖选举》,Theor。计算。科学。,356, 3, 468-494 (2006) ·Zbl 1092.68068号
[14] 米尔纳,R.,《沟通与并发》(1989),普伦蒂斯·霍尔·Zbl 0683.68008号
[15] Milner,R.,《通信和移动系统——圆周率微积分》(1999),剑桥大学出版社·Zbl 0942.68002号
[16] Milner,R.,《多元π演算:教程》(Bauer,F.L.;Brauer,W.;Schwichtenberg,H.,《规范的逻辑和代数》(1993),Springer:Springer Berlin,Heidelberg),203-246
[17] Milner,R.,《函数作为过程》,数学。结构。计算。科学。,2, 2, 119-141 (1992) ·Zbl 0773.03012号
[18] 米尔纳,R。;帕罗,J。;Walker,D.,移动进程微积分,I和II,Inf.Compute。,100, 1, 1-40 (1992), 41-77 ·Zbl 0752.68036号
[19] Sangiorgi博士。;Walker,D.,《π-演算:移动过程理论》(2001),剑桥大学出版社·Zbl 0981.68116号
[20] 丙酮,L。;Chen,T。;福克金,W。;Ingólfsdóttir,A.,《关于优先权的公理化》,《数学》。结构。计算。科学。,18, 1, 5-28 (2008) ·Zbl 1141.68042号
[21] 拉帕杜拉,A。;Pugliese,R。;Tiezzi,F.,《web服务编配演算》,(ESOP.ESOP,LNCS,第4421卷(2007),Springer),第33-47页·Zbl 1187.68070号
[22] 彼得斯,K。;Yonova-Karbe,T。;Nestmann,U.,《像素中的匹配》,(EXPRESS.EXPRESS,EPTCS,第160卷(2014年)),16-29·Zbl 1464.68257号
[23] 班蒂,F。;Pugliese,R。;Tiezzi,F.,分离过程结石的标准,(EXPRESS.EXPRESS,EPTCS,第41卷(2010)),16-30·Zbl 1455.68117号
[24] Milner,R.,《通信系统微积分》,LNCS,第92卷(1980),Springer·Zbl 0452.68027号
[25] Plotkin,G.D.,《操作语义的结构方法》(1981年),奥胡斯大学计算机科学系,dAIMI FN-19
[26] 轩尼诗,M。;Lin,H.,《符号互模拟》,Theor。计算。科学。,138, 2, 353-389 (1995) ·兹伯利0874.68187
[27] Ingólfsdóttir,A。;Lin,H.,第7章——价值传递过程的符号方法,(Bergstra,J.;Ponse,A.;Smolka,S.,《过程代数手册》(2001),爱思唯尔科学:爱思唯尔科学阿姆斯特丹),427-478·Zbl 1027.68092号
[28] 博雷尔,M。;De Nicola,R.,像素的符号语义,Inf.Compute。,126, 1, 34-52 (1996) ·Zbl 0853.68126号
[29] Sangiorgi,D.,π演算的互模拟理论,Acta Inform。,33, 1, 69-97 (1996) ·Zbl 0835.68072号
[30] Lin,H.,微积分中弱互模拟等价的完备推理系统,Inf.Compute。,180, 1, 1-29 (2003) ·Zbl 1045.68098号
[31] Giambiagi,P。;施耐德,G。;Valencia,F.D.,《论过程演算中无限行为和名称范围的表现力》,(Walukiewicz,I.,软件科学和计算结构基础(2004),施普林格:施普林格-柏林,海德堡),226-240·邮编1126.68500
[32] 米尔纳,R。;Sangiorgi,D.,Barbed相互模拟,(第19届国际自动化学术讨论会会议记录,语言与编程。第19届自动化国际学术讨论会记录,语言和编程(1992),施普林格),685-695·Zbl 1425.68298号
[33] Guidi,C。;卢奇,R。;Gorrieri,R。;北布西。;Zavataro,G.,SOCK:面向服务计算的微积分,(ICSOC.ICSOC,LNCS,第4294卷(2006),Springer),327-338
[34] 德尼古拉,R。;戈拉,D。;Pugliese,R.,元组空间动态网络上的模式匹配,(Steffen,M.;Zavataro,G.,FMOODS.FMOODS,计算机科学讲义,第3535卷(2005),Springer),1-14·Zbl 1461.68131号
[35] 帕罗,J。;Victor,B.,《融合演算:移动过程中的表现性和对称性》,(第13届IEEE计算机科学逻辑研讨会论文集,第13届电气与电子工程师协会计算机科学逻辑会议论文集,LICS(1998),IEEE计算机社会出版社),176-185
[36] Buscemi,M。;Montanari,U.,CC-pi:一种基于约束的语言,用于指定服务级别协议,(第16届欧洲编程研讨会论文集·Zbl 1187.68063号
[37] 阿齐艾,L。;Boreale,M.,Xpi:XML消息传递的类型化过程演算,科学。计算。程序。,71, 2, 110-143 (2008) ·Zbl 1146.68050号
[38] Carpineti,S。;Laneve,C。;Padovani,L.,Piduce–一个试验web服务技术的项目,科学。计算。程序。,74, 10, 777-811 (2009) ·Zbl 1194.68077号
[39] J.卡米莱里。;Winskel,G.,CCS与优先选择,Inf.Compute。,116, 1, 26-37 (1995) ·Zbl 0818.68107号
[40] 巴苏,A。;Bidinger,P。;博兹加,M。;Sifakis,J.,《具有交互和优先级的系统的分布式语义和实现》(FORTE(2008),Springer),116-133
[41] Baeten,J。;伯格斯特拉,J。;Klop,J.,进程代数中中断机制的语法和定义方程,Fundam。通知。九、 2127-168(1986)·Zbl 0617.68027号
[42] van Glabbeek,R.,《线性时间分支时间谱》,(CONCUR.CONCUR,LNCS,第458卷(1990年),施普林格出版社),278-297
[43] 克里维兰,R。;Hennessy,M.,过程代数中的优先级,Inf.Comput。,87, 1-2, 58-77 (1990) ·兹比尔0726.68053
[44] 本特森,J。;约翰逊,M。;帕罗,J。;Victor,B.,《Psi-calculi:移动进程、标称数据和逻辑》,(LICS(2009),IEEE计算机社会出版社),39-48
[45] 波乔拉(J.O.Pohjola)。;Parrow,J.,《无优先权的优先权:以psi-calculi表示优先权》(EXPRESS.EXPRESS,EPTCS,第160卷(2014)),2-15·Zbl 1464.68223号
[46] Parrow,J.,过程代数的表达,(LIX.LIX,ENTCS,第209卷(2008),爱思唯尔科学),173-186·Zbl 1279.68264号
[47] de Simone,R.,Meije-SCCS中的高级同步装置,Theor。计算。科学。,37245-267(1985年)·Zbl 0598.68027号
[48] Baeten,J。;Bergstra,J。;Klop,J.,《论库门公平抽象规则的一致性》,Theor。计算。科学。,51, 129-176 (1987) ·兹比尔06216.8010
[49] Vaandrager,F.,过程代数的表示结果,(符号学:基础与应用。符号学:基本与应用,REX研讨会。符号学,基础与应用,符号学:理论与应用,LEX研讨会,LNCS,第666卷(1992),Springer),609-638
[50] 北布西。;Gorrieri,R。;Zavattaro,G.,《关于Linda配位基元的图灵等价性》,电子。理论注释。计算。科学。,7, 75 (1997) ·Zbl 0911.68139号
[51] 北布西。;Gabbrielli,M。;Zavattaro,G.,《关于过程计算中递归、复制和迭代的表达能力》,《数学》。结构。计算。科学。,19, 6, 1191-1222 (2009) ·Zbl 1191.68430号
[52] Cardelli,L。;Gordon,A.,《移动环境》,Theor。计算。科学。,240, 1, 177-213 (2000) ·Zbl 0954.68108号
[53] Ene,C.公司。;Muntean,T.,点对点通信与广播通信的表现力,(计算理论基础。计算理论基础,FCT’99)。计算理论基础。计算理论基础,FCT’99,LNCS,第1684卷(1999),Springer),258-268·Zbl 0946.68096号
[54] 维格利奥蒂,M。;菲利普斯一世。;Palamidessi,C.,《通过领导人选举问题计算分离结果的教程》,Theor。计算。科学。,388, 1-3, 267-289 (2007) ·Zbl 1143.68056号
[55] 菲利普斯一世。;Vigliotti,M.,《环境计算的对称选举系统》,Inf.Comput。,206, 1, 34-72 (2008) ·Zbl 1133.68059号
[56] 波乔拉(J.O.Pohjola)。;Parrow,J.,《单调平行构图的表现力》(Thiemann,P.,ESOP,ESOP《计算机科学讲义》,第9632卷(2016),Springer),780-803·Zbl 1335.68039号
[57] 彼得斯,K。;van Glabbeek,R.J.,分析和比较编码标准,(Crafa,S.;Gebler,D.,EXPRESS/SOS.EXPRESS/SOS,EPTCS,第190卷(2015)),46-60·兹比尔1476.68181
[58] 傅毅,交互作用理论,西奥。计算。科学。,611, 1-49 (2016) ·Zbl 1353.68082号
[59] Versari,C.,《生物激发结石对比分析的核心演算》,(ESOP,ESOP,LNCS,第4421卷(2007),Springer),411-425·Zbl 1187.68331号
[60] Parrow,J.,《完全抽象的一般条件》,《数学》。结构。计算。科学。,26, 4, 655-657 (2016) ·Zbl 1361.68085号
[61] 詹巴吉,P。;施耐德,G。;Valencia,F.,《过程计算中无限行为和名称范围的表达》,(FOSSACS.FOSSACS,LNCS,第2987卷(2004),Springer),226-240·邮编1126.68500
[62] 美国内斯特曼。;Pierce,B.,解码选择编码,Inf.Compute。,163, 1, 1-59 (2000) ·Zbl 1003.68080号
[63] 戈拉,D。;Nestmann,U.,《表现力的完全抽象:历史、神话和事实》,《数学》。结构。计算。科学。,26, 4, 639-654 (2016) ·Zbl 1361.68028号
[64] Nestmann,U.,保护选择的“好”编码是什么?,信息计算。,156, 1-2, 287-319 (2000) ·Zbl 1046.68625号
[65] 巴尔达穆斯,M。;帕罗,J。;Victor,B.,带数据项的π演算的完全抽象编码,(ICALP.ICALP,LNCS,第3580卷(2005),Springer),1202-1213·Zbl 1085.68594号
[66] 阿马迪奥,R。;卡斯特拉尼,I。;Sangiorgi,D.,《异步像素的互模拟》,Theor。计算。科学。,195, 2, 291-324 (1998) ·Zbl 0915.68009号
[67] 彼得斯,K。;Nestmann,U.,这是混合选择的“好”编码吗?,(Birkedal,L.,FOSSACS.FOSSACS,计算机科学讲稿,第7213卷(2012年),施普林格),210-224·Zbl 1352.68190号
[68] Gorla,D.,《关于流动性计算的相对表达能力》,电子。理论注释。计算。科学。,249, 269-286 (2009) ·Zbl 1337.68182号
[69] 轩尼诗,M。;Lin,H.,《符号互模拟》,Theor。计算。科学。,138, 2, 353-389 (1995) ·Zbl 0874.68187号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。