×

异步计算的等价层次。 (英语) Zbl 1066.68088号

摘要:我们通过对Milner和Sangiorgi的弱倒刺互模拟定义的简单变化,为异步命名过程计算生成了一个自然的等价层次。这里使用的\(\pi\)-演算和连接演算就是此类演算的示例。我们证明了当演算包含名称匹配时,倒刺同余与Honda和Yoshida的约简等价以及异步标记互模拟一致,从而关闭了这两个猜想。我们还表明,当只测试一个倒钩时,倒钩一致性更粗糙。对于(pi)-演算,它变成了极限互模拟,而对于连接演算,这既符合公平测试等价性,也符合Sjödin和Parrow耦合模拟的弱倒刺版本。

MSC公司:

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

参考文献:

[1] M.阿巴迪。;Fournet,C.,移动值、新名称和安全通信,(in:POPL 2001:Proceedings 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages(2001),ACM),104-115·Zbl 1323.68398号
[2] M.阿巴迪。;Fournet,C。;Gonthier,G.,《身份验证原语及其编译》,(摘自:第27届ACM SIGPLAN-SIGACT编程语言原理研讨会(POPL 2000)(2000),ACM),302-315·Zbl 1323.68178号
[3] M.阿巴迪。;Fournet,C。;Gonthier,G.,信道抽象的安全实现,信息和计算,174,1,37-83(2002)·Zbl 1009.68084号
[4] M.阿巴迪。;Gordon,A.D.,《spi演算中密码协议的推理》,(Mazurkiewicz,A.;Winkowski,J.,《第八届并发理论国际会议论文集》(CONCUR’97)。第八届并发理论国际会议论文集(CONCUR’97),计算机科学讲义,第1243卷(1997),Springer-Verlag),59-73·Zbl 1512.94054号
[5] Agha,G。;梅森,我。;史密斯,S。;Talcott,C.L.,《参与者计算的基础》,《函数编程杂志》,7,1,1-72(1997)·Zbl 0870.68091号
[6] 阿马迪奥·R·M。;卡斯特拉尼,I。;Sangiorgi,D.,关于异步π演算的互模拟,理论计算机科学,195,2291-324(1998)·Zbl 0915.68009号
[7] 博雷尔,M。;De Nicola,R.,《移动过程的等价性测试,信息与计算》,120,2,279-303(1995)·Zbl 0835.68073号
[8] G.Boudol,异步和(π);G.Boudol,异步和(π)
[9] Brinksma,E。;Rensink,A。;Vogler,W.,《公平测试》(Lee,I.;Smolka,S.A.,第六届并发理论国际会议(CONCUR’95)。第六届并发理论国际会议(CONCUR’95),计算机科学讲稿,第962卷(1995),Springer-Verlag),313-327
[10] Brinksma,E。;Rensink,A。;Vogler,W.,《公平测试的应用》(Gotzhein,R.;Bredereke,J.,《形式描述技术IX:理论、应用和工具》,第IX卷(1996),查普曼和霍尔)
[11] 德尼古拉,R。;Hennessy,M.C.B.,《过程等效测试》,理论计算机科学,34,83-133(1984)·Zbl 0985.68518号
[12] Fournet,C。;Gonthier,G.,《连接微积分:一种用于分布式移动编程的语言》,(Barthe,G.;Dybjer,P.;Pinto,L.;Saraiva,J.,《应用语义学暑期学校论文集》,Caminha,2000年9月。《应用语义暑期学校学报》(APPSEM),卡米尼亚,2000年9月,计算机科学讲稿,第2395卷(2002年),斯普林格-Verlag),268-332·Zbl 1065.68071号
[13] C.Fournet,The join-calculus:a calculus for distributed mobile programming,博士论文,Ecole Polytechnique,Palaiseau,1998年11月;C.Fournet,《联合微积分:分布式移动编程的微积分》,博士论文,巴黎理工学院,1998年11月·Zbl 1065.68071号
[14] Fournet,C。;Gonthier,G.,《反身化学抽象机与联合演算》,(in:第23届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录(POPL'96)(1996),ACM),372-385
[15] Fournet,C。;Gonthier,G.,《异步计算的等价层次(扩展抽象)》(Larsen,K.;Skyum,S.;Winskel,G.),《第25届自动化、语言和编程国际学术讨论会论文集》(ICALP’98)。《第25届国际自动化、语言和编程学术讨论会论文集》(ICALP’98),《计算机科学讲义》,第1443卷(1998年),施普林格出版社,844-855·Zbl 0909.03030号
[16] Fournet,C。;Laneve,C.,《联合微积分中的互模拟》,理论计算机科学,266,1-2,569-603(2001)·Zbl 0989.68098号
[17] Fournet,C。;Laneve,C。;Maranget,L。;Rémy,D.,《联合演算的隐含类型A la ML》,(Mazurkiewicz,A.;Winkowski,J.,《第八届并行理论国际会议论文集》(CONCUR’97)。第八届并发理论国际会议论文集(CONCUR’97),计算机科学讲义,第1243卷(1997),Springer-Verlag),196-212·Zbl 1512.68057号
[18] Fournet,C。;莱维,J.-J。;Schmitt,A.,《移动环境的异步分布式实现》(van Leeuwen,J.;Watanabe,O.;Hagiya,M.;Mosses,P.D.;Ito,T.,《IFIP TCS 2000会议录》(IFIP TC1)。2000年IFIP TCS会议录(IFIP TC1),计算机科学讲稿,第1872卷(2000),斯普林格-Verlag)·Zbl 0998.68537号
[19] van Glabbek,R.J.,线性时间分支时间谱II;带无声移动的顺序系统的语义(扩展抽象),(Best,E.,第四届并发理论国际会议(CONCUR’93)。第四届并发理论国际会议(CONCUR’93),计算机科学讲稿,第715卷(1993),Springer-Verlag),66-81
[20] Hennessy,M.,《过程代数理论》(1988),麻省理工学院出版社·Zbl 0744.68047号
[21] 本田,K。;Tokoro,M.,《异步通信语义》(On asynchronous communication semantics),(Wegner,P.;Tokoro
[22] 本田,K。;Yoshida,N.,《基于约简的过程语义》,《理论计算机科学》,152,2437-486(1995)·Zbl 0871.68122号
[23] C.Laneve,May and must testing in the join-calculus,技术报告UBLCS 96-04,博洛尼亚大学,1996年3月,修订日期:1996年5月;C.Laneve,May and must testing in the join-calculus,技术报告UBLCS 96-04,博洛尼亚大学,1996年3月,修订日期:1996年5月
[24] 梅罗,M。;Sangiorgi,D.,《姓名传递计算中的异步性》,(Larsen,K.;Skyum,S.;Winskel,G.,《第25届自动控制、语言和编程国际研讨会论文集》(ICALP’98)。《第25届国际自动化、语言和编程学术讨论会论文集》(ICALP’98),《计算机科学讲义》,第1443卷(1998年),斯普林格-Verlag,856-867·兹比尔0910.03019
[25] Milner,R.,《通信系统的微积分》,《计算机科学讲义》,第92卷(1980年),斯普林格-Verlag·兹比尔0452.68027
[26] Milner,R.,《沟通与并发》(1989),普伦蒂斯·霍尔:纽约普伦蒂斯霍尔出版社·Zbl 0683.68008号
[27] Milner,R.,《多元(π)演算:教程》(Bauer,F.L.;Brauer,W.;Schwichtenberg,H.,《规范的逻辑和代数》(1993),Springer-Verlag)
[28] Milner,R.,《通信和移动系统:(π)-微积分》(1999),剑桥大学出版社:剑桥大学出版社·Zbl 0942.68002号
[29] 米尔纳,R。;Sangiorgi,D.,Barbed双刺激,(Kuich,W.,ICALP’92论文集。ICALP’92会议录,计算机科学讲义,第623卷(1992),Springer-Verlag),685-695·Zbl 1425.68298号
[30] J.H.Morris Jr.Lambda-calculus编程语言模型,麻省理工学院博士论文,1968年12月,报告编号:MAC-TR-57;J.H.Morris Jr.Lambda-calculus编程语言模型,麻省理工学院博士论文,1968年12月,报告编号:MAC-TR-57
[31] Natarajan,V。;Cleaveland,R.,《分歧与公平测试》,(摘自:1995年ICALP会议记录。in:ICALP’95会议录,《计算机科学讲稿》,第944卷(1995年),斯普林格-Verlag)·Zbl 1412.68155号
[32] 美国内斯特曼。;Pierce,B.C.,《解码选择编码,信息与计算》,163,11月,1-59(2000)·Zbl 1003.68080号
[33] Park,D.M.R.,无限序列上的并发与自动机,计算机科学讲义,第104卷(1980),Springer-Verlag
[34] 鹦鹉,J。;Sjödin,P.,用耦合模拟验证多路同步,(Cleaveland,R.,第三届并发理论国际会议(CONCUR’92)。第三届并发理论国际会议(CONCUR’92),计算机科学讲稿,第630卷(1992),斯普林格·弗拉格),518-533
[35] 鹦鹉,J。;Sjödin,P.,《cs-同余的完全公理化》,(Enjalbert,P.;Mayr,E.W.;Wagner,K.W.,《STACS’94会议录》。STACS’94会议录,计算机科学讲义,第775卷(1994),Springer-Verlag),557-568·Zbl 0941.68573号
[36] D.Sangiorgi,《在过程代数中表达迁移:一阶和高阶范式》,爱丁堡大学计算机科学系博士论文,1992年;D.Sangiorgi,在过程代数中表达迁移:一阶和高阶范式,爱丁堡大学计算机科学系博士论文,1992年
[37] Sangiorgi,D.,π演算的互模拟理论,信息学报,33,69-97(1996)·Zbl 0835.68072号
[38] Sangiorgi,D.,关于互模拟证明方法,《计算机科学中的数学结构杂志》,8,447-479(1998)·兹比尔0916.68057
[39] Sangiorgi,D。;Milner,R.,“弱互模拟问题”(Cleaveland,R.),第三届并行理论国际会议(CONCUR’92)。第三届并发理论国际会议(CONCUR’92),《计算机科学讲稿》,第630卷(1992年),施普林格-弗拉格出版社,32-46
[40] Sangiorgi,D。;Walker,D.,《Pi-calculus:移动过程理论》(2001),剑桥大学出版社·Zbl 0981.68116号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。