×
桑吉奥吉，D。

异步过程计算：一阶和高阶范式。 （英语） Zbl 0956.68081号

西奥。计算。科学。 253，第2期，311-350（2001）.
摘要：我们比较了过程计算中流动性的一阶和高阶范式。一阶范式中的原型演算是（pi）演算。在这里，我们关注的是一种异步演算，它可以被视为一些实验性编程语言（或编程语言的建议）的基础，如Pict、Join、Blue。我们对\（L\pi\）进行了扩展，以允许高阶值（即可能包含进程的值）的通信，并表明扩展并没有增加表现力：生成的高阶微积分可以编译成\（L\ pi\）。本文主要是一篇教程。它还包含原始贡献。主要的是完全抽象证明，相对于以前的证明，它更简单，不依赖于语言的某些非限定性特征，例如无限和。另一个贡献是对编译优化的研究，通过该研究，我们能够处理递归类型，并证明对于强大的行为等价性来说也是完全抽象的。

引用于23文件

MSC公司：

第68季度55 计算理论中的语义学

关键词：

一阶和高阶结石；异步；完全抽象

软件：

灵活；皮克特
PDF格式BibTeX公司 XML格式引用
\文本{D.Sangiorgi}，Theor。计算。科学。253，编号2，311--350（2001；Zbl 0956.68081）
全文： 内政部

参考文献：

[1] Abramsky，S.，《懒惰的lambda演算》（Turner，D.，函数编程研究课题（1989），Addison-Wesley：Addison-Whesley Reading，MA），65-116
[2] Agha，G.，分布式系统中并发计算的Actorsa模型（1986），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州剑桥
[3] 阿马迪奥，R。；卡斯特拉尼，I。；Sangiorgi，D.，关于异步π演算的互模拟，Proc。1996年成立。关于异步π演算的互模拟，Proc。CONCUR’96，《计算机科学讲义》，第1119卷（1996），《施普林格：柏林施普林格》·Zbl 1514.68154号
[4] R.M.Amadio，L.Cardelli，子类型递归类型，ACM Trans。程序。语言系统15（4）（1993），575-631。初步版本出现在POPL'91和DEC系统研究中心研究报告第62号中，1990年8月，第104-118页。；R.M.Amadio，L.Cardelli，子类型递归类型，ACM Trans。程序。语言系统15（4）（1993），575-631。初步版本出现在POPL'91和DEC系统研究中心研究报告第62号中，1990年8月，第104-118页。
[5] Boreale，M.，《关于通过姓名计算的内部流动性的表达》，Proc。1996年成立。关于名称传递结石内部流动性的表现，Proc。CONCUR’96，《计算机科学讲义》，第1119卷（1996），《施普林格：柏林施普林格》·Zbl 1514.68157号
[6] G.Boudol，面向并发和通信系统的lambda演算，TAPSOFT’89，计算机科学讲义，第351卷，第149-161页，1989年。；G.Boudol，《面向并发和通信系统的lambda微积分》，TAPSOFT’89，《计算机科学讲义》，第351卷，第149-1611989页。
[7] G.Boudol，异步和（π）；G.Boudol，异步和（π）
[8] Boudol，G.，直接风格的像素，Proc。第24届POPL（1997），ACM出版社：纽约ACM出版社
[9] J.Despeyroux，pi-calculus的高阶规范，出现在Proc。2000年IFIP TCS，日本，2000年8月。；J.Despeyroux，pi-calculus的高阶规范，出现在Proc。2000年IFIP TCS，日本，2000年8月·Zbl 0998.68538号
[10] W.Ferreira，M.Hennessy，A.Jeffrey，核心CML弱互模拟理论，Tr 95:05，苏塞克斯大学认知与计算科学学院，1995。；W.Ferreira，M.Hennessy，A.Jeffrey，核心CML弱互模拟理论，Tr 95:05，苏塞克斯大学认知与计算科学学院，1995年·Zbl 1345.68049号
[11] 费舍尔，M.J。；北卡罗来纳州林奇。；Paterson，M.S.，《一个错误处理器不可能达成分布式共识》，J.ACM，32，2，374-382（1985）·Zbl 0629.68027号
[12] Fournet，C。；Gonthier，G.，《自反化学抽象机与连接演算》，Proc。第23届POPL（1996），ACM出版社：纽约ACM出版社
[13] 贾卡隆，A。；米什拉，P。；Prasad，S.，FACILE，并发和函数编程的对称集成，（Diaz，J.；Orejas，F.，TAPSOFT’89。TAPSOFT’89，计算机科学讲义，第352卷（1989），施普林格：施普林格柏林），189-209
[14] 戈登，A.D。；Rees，G.D.，具有子类型的对象的一阶微积分的双相似性，Proc。第23届POPL（1996），ACM出版社：纽约ACM出版社
[15] Hewitt，C.，将控制结构视为传递消息的模式，《人工智能杂志》，8，3，323-364（1977）
[16] K.Honda，关于\（ν\）的两个相似性；K.Honda，关于\（ν\）的两个相似性
[17] 本田，K。；Tokoro，M.，《异步通信的对象演算》，（Tokolo，M.；Nierstrasz，O.；Wegner，P.；Yonezawa，A.，ECOOP’91年基于对象的并发编程研讨会，瑞士日内瓦，1991年。ECOOP’91基于对象并发编程研讨会，瑞士日内瓦，1991年，计算机科学讲义，第512卷（1991年），施普林格：施普林格柏林），133-147
[18] 本田，K。；Tokoro，M.，并发对象的一个小演算，ACM OOPS Messanger，2，2，50-54（1991）
[19] 本田，K。；Yoshida，N.，《基于约简的过程语义》，Theoret。计算。科学。，152, 2, 437-486 (1995) ·Zbl 0871.68122号
[20] Howe，D.J.，证明函数式编程语言中互模拟的一致性，Inform。计算。，124, 2, 103-112 (1996) ·Zbl 0853.68073号
[21] H.Hüttel、J.Kleist、M.Merro、U.Nestmann，《迁徙=克隆》；别名，将在第六届面向对象语言基础研讨会（FOOL 6）上提出，1999年。；H.Hüttel、J.Kleist、M.Merro、U.Nestmann，《迁移=克隆》；别名，将在1999年第六届面向对象语言基础研讨会（FOOL 6）上提出。
[22] Jonsson，B。；Parrow，J.，确定一类非有限状态程序的互模拟等价性，Inform。计算。，107, 272-302 (1993) ·Zbl 0799.68133号
[23] 梅罗，M。；Sangiorgi，D.，《姓名传递结石中的异步性》，第25届ICALP。《关于命名计算中的异步性》，第25届ICALP，《计算机科学讲义》，第1443卷（1998年），《施普林格：施普林格柏林》·Zbl 0910.03019号
[24] R.Milner，《多元论》（π）；R.Milner，《多元论》（π）
[25] Milner，R.，《函数作为过程》，J.Math。结构。公司。科学。，2, 2, 119-141 (1992) ·Zbl 0773.03012号
[26] 米尔纳，R。；Sangiorgi，D.，Barbed bisimulation，（Kuich，W.，19th ICALP.19th ICELP，计算机科学讲义，第623卷（1992），Springer:Springer Berlin），685-695·Zbl 1425.68298号
[27] 美国内斯特曼。；Pierce，B.，《解码选择编码》，Proc。1996年成立。解码选择编码。CONCUR’96，《计算机科学讲义》，第1119卷（1996），《施普林格：柏林施普林格》·兹伯利1514.68177
[28] Palamidessi，C.，《同步和异步像素表达能力的比较》，Proc。第24届POPL（1997），ACM出版社：纽约ACM出版社
[29] 帕罗，J。；Sangiorgi，D.，通过名字计算的代数理论，Inform。计算。，120, 2, 174-197 (1995) ·Zbl 0836.03020号
[30] B.C.Pierce，D.N.Turner，Pict:一种基于pi-calculus的编程语言，技术代表CSCI 476，印第安纳大学，1997年，收录于：Gordon Plotkin，Colin Stirling，and Mads Tofte（编辑）Proof，language and Interaction:Essays in Honour of Robin Milner（编辑）麻省理工学院出版社，马萨诸塞州剑桥，即将出版。；B.C.Pierce，D.N.Turner，Pict:一种基于pi-calculus的编程语言，技术代表CSCI 476，印第安纳大学，1997年，收录于：Gordon Plotkin，Colin Stirling，and Mads Tofte（编辑）Proof，language and Interaction:Essays in Honour of Robin Milner（编辑）麻省理工学院出版社，马萨诸塞州剑桥，即将出版。
[31] J.Reppy公司。CML：一种高阶并发语言，收录于：《程序设计语言设计与实现》，SIGPLAN，ACM，1991年。；J.Reppy公司。CML：一种高阶并发语言，载于《程序设计语言设计与实现》，SIGPLAN，ACM，1991年。
[32] D.Sangiorgi，在过程代数中表达迁移：一阶和高阶范式。爱丁堡大学计算机科学系博士论文CST-99-93，1992年。；D.Sangiorgi，在过程代数中表达迁移：一阶和高阶范式。爱丁堡大学计算机科学系，博士论文CST-99-93，1992年。
[33] D.Sangiorgi，Lazy函数和移动进程。技术代表RR-2515，INRIA-Sophia Antipolis，1995年，在纪念罗宾·米尔纳60岁生日的Festschrift卷中，麻省理工学院出版社，纽约，即将出版。；D.Sangiorgi，Lazy函数和移动进程。科技部众议员RR-2515，INRIA Sophia Antipolis，1995年，在纪念Robin Milner 60岁生日的Festschrift卷中，麻省理工学院出版社，纽约，将亮相。
[34] Sangiorgi，D.，高阶过程计算的双向模拟，Inform。计算。，131, 2, 141-178 (1996) ·Zbl 0876.68042号
[35] Sangiorgi，D.，（π）演算，内部迁移和代理传递演算，Theor。计算。科学。，167, 2, 235-274 (1996) ·兹比尔0874.68103
[36] Sangiorgi，D.，接受性学科的名称，Theoret。计算。科学。，221, 457-493 (1999) ·Zbl 0930.68035号
[37] D.Sangiorgi，《将函数解释为pi-calculus过程：教程》，TR RR-3470修订版，INRIA-Sophia Antipolis，可从作者的网页获得。；D.Sangiorgi，《将函数解释为pi-calculus过程：教程》，TR RR-3470修订版，INRIA-Sophia Antipolis，可从作者的网页获得。
[38] Sangiorgi博士。；Milner，R.，《弱互模拟问题》，（Cleveland，W.R.，Proc.CONCUR’92）。程序。CONCUR’92，《计算机科学讲义》，第630卷（1992年），施普林格：施普林格柏林），32-46
[39] B.Thomsen，《高阶通信系统的微积分》，帝国理工学院计算系博士论文，1990年。；B.Thomsen，《高阶通信系统的微积分》，帝国理工学院计算系博士论文，1990年。
[40] Thomsen，B.，Plain CHOCS，高阶过程的第二代微积分，Acta Inform。，30, 1-59 (1993) ·Zbl 0790.68069号
[41] 汤姆森，B。；Leth，L。；Kuo，T.-M.，《Facile教程》，Proc。1996年成立。简易教程，Proc。CONCUR'96，《计算机科学讲义》，第1119卷（1996年），施普林格：施普林格柏林
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。