阿德里安·杜里埃;丹尼尔·赫希科夫;戴维·桑吉奥吉 渴望作为过程发挥作用。 (英语) Zbl 1483.68226号 西奥。计算。科学。 913, 8-42 (2022). 摘要:我们研究了Milner将值调用\(\lambda\)-演算编码为\(\pi\)-演算。我们证明,通过将编码调整为\(\pi\)-演算的两个子演算(内部\(\ pi\)和异步本地\(\π)\),由编码引起的\(\lambda\)-项的等价性与Lassen的急切正规形式双相似性相一致,扩展到处理\(\eta\)-相等。作为(pi)演算中的行为对等,我们考虑上下文对等和倒刺同余。我们还将结果扩展到预订单。证明中的一个关键技术要素是最近引入的方程唯一解技术,该技术在本文中得到了进一步发展。在这方面,本文还打算对该技术的适用性和表达性进行扩展案例研究。 MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 03B40型 组合逻辑与lambda演算 关键词:call-by-value\(\lambda\)-演算;\(\pi\)-微积分;行为对等;完全抽象 PDF格式BibTeX公司 XML格式引用 \textit{A.Durier}等人,Theor。计算。科学。913,8--42(2022;Zbl 1483.68226) 全文: 内政部 哈尔 参考文献: [1] Abramsky,Samson,《懒惰的λ-演算》(Turner,D.,函数编程研究课题(1987),Addison-Wesley),65-117 [2] 阿卡托利,贝尼亚米诺;Sacerdoti Coen,Claudio,关于火球的相对有用性,(第30届ACM/IEEE计算机科学逻辑年度研讨会。第30届ACM/IEEE计算机科学逻辑年度研讨会,LICS 2015,日本京都,2015年7月6日至10日(2015)),141-155·Zbl 1394.68058号 [3] 阿卡托利,贝尼亚米诺;Guerrieri,Giulio,Open call-by-value,(2016年APLAS会议记录)。程序。2016年APLAS,《计算机科学讲义》,第10017卷(2016),施普林格出版社,206-226·Zbl 1483.68063号 [4] 巴伦德雷格特,H.P.,《兰姆达演算:语法和语义》,《逻辑研究与数学基础》(1984年),北荷兰·Zbl 0551.03007号 [5] 马丁·伯杰(Martin Berger);本田、Kohei;Yoshida,Nobuko,序列性和pi-calculus,(TLCA会议录,TLCA会议记录,计算机科学讲义,第2044卷(2001),Springer),29-45·兹伯利0981.68037 [6] 罗曼·德曼根(Romain Demangeon);丹尼尔·赫希科夫(Daniel Hirschkoff);Davide Sangiorgi,《不纯并发语言中的终止》(Proc.21th Conf.on Concurrency Theory.Proc.21st Conf.on Conf.Conf.,Leech Notes in Computer Science,vol.6269(2010),Springer),328-342·Zbl 1287.68129号 [7] 阿德里安·杜里埃(Adrien Durier);丹尼尔·赫希科夫(Daniel Hirschkoff);Sangiorgi,Davide,《方程的发散和唯一解》(2017年CONCUR会议记录)。2017年CONCUR会议记录,LIPIcs,第85卷(2017),Dagstuhl-Leibniz-Zentrum fuer Informatik),11:1-11:16·Zbl 1442.68135号 [8] 阿德里安·杜里埃(Adrien Durier);丹尼尔·赫希科夫(Daniel Hirschkoff);Sangiorgi,Davide,Eager functions as processes,(Dawar,Anuj;Grädel,Erich,第33届ACM/IEEE计算机科学中逻辑研讨会论文集。第33届美国计算机学会/美国电气与电子工程师学会计算机科学中的逻辑会议论文集,2018年7月9日至12日,英国牛津,2018(2018),ACM,364-373·兹比尔1452.03044 [9] J.Roger Hindley;乔纳森·塞尔丁(Jonathan P.Seldin),《组合器和Lambda-Calculus导论》(1986),剑桥大学出版社·Zbl 0614.03014号 [10] 本田、Kohei;Yoshida,Nobuko,调用值计算的博弈分析,Theor。计算。科学。,221, 1-2, 393-456 (1999) ·Zbl 0930.68061号 [11] 海兰德,J.M.E。;Luke Ong,C.-H.,Pi-calculus,对话游戏和PCF(1995年《FPCA会议录》,ACM),96-107 [12] 安德鲁·科尔(Andrew D.Ker)。;尼考,汉诺;Luke Ong,C.-H.,为böhm treelambda-theory改编无辜的游戏模型,Theor。计算。科学。,308, 1-3, 333-366 (2003) ·Zbl 1068.68042号 [13] Lassen,Sören B.,Eager范式互模拟,(第20届IEEE计算机科学逻辑研讨会(LICS 2005)。第20届IEEE计算机科学逻辑研讨会(LICS 2005),2005年6月26-29日(2005),IEEE计算机学会:IEEE计算机协会芝加哥,伊利诺伊州,美国,会议记录),345-354 [14] 瑟伦·拉森。;保罗·布莱恩(Paul Blain Levy),《计算机科学逻辑学报》,CSL 2007年。程序。计算机科学逻辑。程序。《计算机科学逻辑》,CSL 2007,《计算机科学讲义》,第4646卷(2007年),施普林格出版社,283-297·Zbl 1179.68038号 [15] Lévy,Jean-Jacques,《λ-β-演算和标记λ-演算的代数解释》(lambda-calculus和计算机科学理论,罗马研讨会论文集)。兰巴达——微积分与计算机科学理论,罗马研讨会论文集。Lambda——微积分与计算机科学理论,1975年3月25日至27日在罗马举行的研讨会论文集,计算机科学讲义,第37卷(1975),Springer),147-165·Zbl 0335.02015号 [16] Longo,Giuseppe,《λ演算的理论模型:理论、展开、同构》,Ann.Pure Appl。日志。,24, 2, 153-188 (1983) ·Zbl 0513.03009号 [17] 马西莫·梅里奥;Davide Sangiorgi,《名字传递计算中的异步性》,数学。结构。计算。科学。,14, 5, 715-767 (2004) ·Zbl 1093.68026号 [18] Milner,Robin,《作为过程的功能》(1990),INRIA,研究报告RR-1154 [19] 罗宾·米尔纳,《函数作为过程》,《数学》。结构。计算。科学。,2, 2, 119-141 (1992) ·Zbl 0773.03012号 [20] 罗宾·米尔纳,《多元π演算:教程》,(规范的逻辑和代数。规范的逻辑与代数,北约ASI系列(F系列:计算机与系统科学),第94卷(1993年),斯普林格),203-246 [21] Luke Ong,C.-H。;Di Gianantonio,Pietro,《利维·隆戈树游戏》,Theor。计算。科学。,312, 1, 121-142 (2004) ·Zbl 1094.91011号 [22] 本杰明·C·皮尔斯。;Sangiorgi,Davide,移动进程的键入和子键入,数学。结构。计算。科学。,6, 5, 409-453 (1996) ·Zbl 0861.68030号 [23] Plotkin,Gordon D.,Call-by-name,Call-by-value和lambda-calculus,Theor。计算。科学。,1, 2, 125-159 (1975) ·Zbl 0325.68006号 [24] 西蒙娜·隆奇·德拉·罗卡(Simona Ronchi Della Rocca);Paolini,Luca,《参数Lambda演算——计算的元模型》,文本理论。计算。科学。EATCS系列。(2004),施普林格·Zbl 1084.68020号 [25] Davide,Sangiorgi,在过程代数中表达迁移:一阶和高阶范式(1993),爱丁堡大学:英国爱丁堡学院,博士论文 [26] Davide,Sangiorgi,《功能作为过程的研究》(MFPS’93 Proc.)。程序。MFPS’93,计算机科学讲义,第802卷(1993),Springer),143-159·Zbl 1511.68145号 [27] Davide,Sangiorgi,π演算,内部迁移,和代理传递演算,Theor。计算。科学。,167、1和;2, 235-274 (1996) ·兹比尔0874.68103 [28] Davide,Sangiorgi,《惰性功能和移动过程》(Proof,Language,and Interaction,Essays in Honour of Robin Milner,2000),麻省理工出版社,691-720·Zbl 0968.68018号 [29] Davide,Sangiorgi,过程终止,数学。结构。计算。科学。,16, 1, 1-39 (2006) ·Zbl 1092.68069号 [30] 戴维·桑吉奥吉;David Walker,《Pi-Calculus-A Theory of Mobile Processes》(2001),剑桥大学出版社·Zbl 0981.68116号 [31] 戴维·桑吉奥吉;Xu,Xian,《从函数到过程的树》,(2014年欧洲理事会论文集。CONCUR 2014会议录,计算机科学讲义,第8704卷(2014),Springer),78-92·Zbl 1417.68138号 [32] 克里斯蒂安·斯特夫林;瑟伦·拉森(Sören B.Lassen),《完整的顺序控制和状态共归纳句法理论》(Semantics and Algebraic Specification,Essays Dedicated to Peter D.Mosses on the occasus of Hes 60 Birthday),《语义学和代数规范》,《献给Peter D。《摩斯在他60岁生日之际》,《计算机科学讲义》,第5700卷(2009年),施普林格出版社,第329-375页·Zbl 1253.68083号 [33] 贝尔纳多·托尼霍(Bernardo Toninho);Nobuko Yoshida,《关于多态会话和功能——两个(完全抽象的)编码的故事》(2018年《ESOP Proc.》)。程序。2018年ESOP,《计算机科学讲义》,第10801卷(2018年),施普林格出版社,827-855·Zbl 1418.68068号 [34] 吉田、Nobuko;马丁·伯杰(Martin Berger);Honda,Kohei,圆周率的强正规化,Inf.Compute。,1912145-202(2004年)·Zbl 1101.68705号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。