×
菲利普·加德纳；科西莫·拉内夫；卢西安·维希克

线性货运代理。 （英语） Zbl 1129.68047号

Inf.计算。 205，第10号，1526-1550（2007）.
摘要：线性转发器是一个在通道上接收一条消息并在不同通道上发送该消息的进程。我们使用线性转发器来提供Milner异步pi-calculus的分布式实现。众所周知，由于输入功能，这种分布式实现很难实现，其中接收的名称被用作后续输入的主题。这允许在错误的位置动态创建大型输入进程，因此需要相对较大的代码迁移，以避免一致性问题。线性转发器构成了一个易于移动的输入能力小原子。我们表明，可以使用线性转发器对全部输入能力进行简单编码。我们还设计了一个分布式机器，演示了使用线性转发器实现pi-calculus的简单性。我们还表明，线性转发器允许对分布式选择进行简单编码，并且在出现故障时具有“干净”的行为。

引用于三文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

i-微积分；分布式实现；输入能力；线性货运代理；米尔纳异步微积分

软件：

灵活；皮杜克；JoCaml公司；科莱姆
PDF格式BibTeX公司 XML格式引用
\textit{P.Gardner}等人，《信息计算》。205，第10号，1526--1550（2007；Zbl 1129.68047）
全文： 内政部

参考文献：

[1] Amadio，Roberto，《局部性、故障和过程移动性的异步模型》（Garlan，D.；Le Métayer，D.，COORDINATION 1997）。COORDINATION 1997，计算机科学讲义，第1282卷（1997），Springer），374-391
[2] 罗伯托·阿马迪奥；Boudol，热拉尔；Lhoussaine，Cédric，接受性分布像素（扩展摘要），（Pandu Rangan，C.；Raman，V.；Ramanujam，R.，FSTTCS 1999。FSTTCS 1999，计算机科学讲义，第1738卷（1999），Springer），304-315·Zbl 0958.68117号
[3] Roberto Amadio，Sanjiva Prasad，地方与失败（扩展摘要），摘自：《第14届软件技术和理论计算机科学基础会议论文集》，计算机科学讲稿，第880卷，Springer，1994年，第205-216页。；Roberto Amadio，Sanjiva Prasad，局部性与失败（扩展摘要），摘自：《第14届软件技术与理论计算机科学基础会议论文集》，计算机科学讲义，第880卷，Springer，1994年，第205-216页·兹比尔1044.68682
[4] 罗伯特·阿马迪奥（Roberto M.Amadio）。；伊利亚州卡斯特拉尼；Sangiorgi，Davide，《关于异步π演算的互模拟》，《理论计算机科学》，195，2，291-324（1998），《CONCUR’96学报》，LNCS，第1119卷，第147-162页·Zbl 0915.68009号
[5] Berger，Martin，《两次时间异步计算的约化同余基本理论》，（CONCUR’04：第15届并行理论国际会议论文集，CONCUR‘04：第十五届并发理论国际会议文献集，计算机科学讲义，第3170卷（2004），Springer），115-130·Zbl 1099.68064号
[6] 米歇尔·博雷尔（Michele Boreale），《论命名计算中内部流动性的表达》，《理论计算机科学》，195,2205-226（1998）·Zbl 0915.68059号
[7] A.布朗。；Laneve，C。；Meredith，L.G.，：具有本地数据类型的过程演算，（第二届Web服务和形式方法国际研讨会论文集。第二届网络服务和形式化方法国际研讨会文献集，LNCS，第3670卷（2005），Springer），18-34
[8] 卢卡·卡德利；Andrew D.Gordon，《移动环境》，《理论计算机科学》，240，1，177-213（2000）·Zbl 0954.68108号
[9] 卡皮涅蒂，萨穆埃莱；科西莫·拉内夫；Milazzo，Paolo，《机器：试验web服务技术的分布式机器》（第五届并发应用于系统设计国际会议（ACSD 2005）（2005），IEEE计算机社会出版社），202-211
[10] 席尔文·康雄（Silvain Conchon）；Le Fessant，Fabrice，Jocaml：objective-caml的移动代理，（第一届代理系统和应用国际研讨会第三届移动代理国际研讨会（1999年），IEEE计算机学会出版社），22-29
[11] 德尼古拉（De Nicola）、罗科（Rocco）；费拉里，吉安·路易吉；Pugliese，Puglieze，KLAIM:代理交互和移动性的核心语言，IEEE软件工程汇刊，24，5，315-330（1998）
[12] Cédric Fournet，《联合演算：分布式移动编程的演算》。埃科尔理工学院博士论文，法国巴黎，1998年。；Cédric Fournet，《连接微积分：分布式移动编程的微积分》。埃科尔理工学院博士论文，法国巴黎，1998年。
[13] Cédric Fournet，Georges Gonthier，《反身化学抽象机与联合计算》，载于：POPL 1996，ACM，ACM出版社，1996年，第372-385页。；Cédric Fornet，Georges Gonthier，《反身化学抽象机和联合演算》，收录于：POPL 1996，ACM，ACM出版社，1996年，第372-385页。
[14] 菲律宾加德纳；科西莫·拉内夫；卢西安·维希克（Lucian Wischik），《聚变机器》（The fusion machine），（克雷汀斯基（Kretinsky，M.）；库塞拉（Kucera，A.）；布里姆（Brim，L.）；詹卡尔（Jancar，P.），CONCUR 2002。CONCUR 2002，计算机科学讲稿，第2421卷（2002），Springer），418-433·Zbl 1012.68527号
[15] 菲律宾加德纳；科西莫·拉内夫；Lucian Wischik，《线性货运代理》（Lugiez，D.；Amadio，R.，CONCUR 2002）。CONCUR 2002，《计算机科学讲稿》，第2761卷（2003年），斯普林格出版社，415-430·Zbl 1274.68233号
[16] 菲利普·加德纳（Philippa Gardner）、塞尔吉奥·马菲斯（Sergio Maffeis），《动态Web数据建模》（Modelling dynamic Web data），收录于：乔治·劳森（Georg Lausen）、丹·苏西乌（Dan Suciu）（编辑），《DBPL'03会议录》，LNCS，第2921卷，2003年9月，第130。；菲利普·加德纳（Philippa Gardner）、塞尔吉奥·马菲斯（Sergio Maffeis），《动态Web数据建模》（Modelling dynamic Web data），收录于：乔治·劳森（Georg Lausen）、丹·苏西乌（Dan Suciu）（Eds.），《DBPL'03会议录》，LNCS，第2921卷，2003年9月·Zbl 1077.68004号
[17] 菲律宾加德纳；卢西安·维希克（Lucian Wischik），《显式融合》（Explicit fusions），（尼尔森（Nielsen），莫根斯（Mogens）；罗万（Rovan），布拉尼斯拉夫（Branislav），MFCS 2000。MFCS 2000，计算机科学讲义，第1893卷（2000），施普林格），373-382·Zbl 0996.68523号
[18] 亚历山德罗·贾卡隆；米什拉、普拉提克；Prasad，Sanjiva，Facile:并发编程和函数编程的对称集成，国际并行编程杂志，18，2，121-160（1989）·Zbl 0765.68109号
[19] 本田、Kohei；Nobuko Yoshida，《基于约简的过程语义》，《理论计算机科学》，152,2437-486（1995）·Zbl 0871.68122号
[20] 小林，直纪；本杰明·皮尔斯（Benjamin C.Pierce）。；Turner，David N.，线性与π演算，美国计算机学会程序设计语言与系统汇刊，21，51914-947（1999）
[21] 科西莫·拉内夫；卢卡·帕多瓦尼（Luca Padovani），《平滑协调器》（Smooth orchestrators），（软件科学与计算结构基础论文集（FOSSACS 2006）。软件科学和计算结构基础学报（FOSSACS 2006），LNCS，第3921卷（2006），Springer），32-46·Zbl 1180.68195号
[22] 科西莫·拉内夫；Zavataro，Gianluigi，《网络交易基础》（FOSSACS 2005:软件科学和计算结构基础论文集），FOSSACS2005:软件科学与计算结构基础文献集，计算机科学讲义，第3441卷（2005），Springer），282-298·Zbl 1118.68335号
[23] 塞尔吉奥·马菲斯（Sergio Maffeis），《动态网络数据：过程代数方法》，伦敦帝国学院博士论文，2006年。；Sergio Maffeis，《动态网络数据：过程代数方法》，伦敦帝国学院博士论文，2006年·Zbl 1169.68550号
[24] Merro，Massimo，关于异步名称传递结石中的等式，无匹配，（EXPRESS 1999。EXPRESS 1999，理论计算机科学电子笔记，第27卷（1999），爱思唯尔科学出版社，57-70·Zbl 0958.68114号
[25] 马西莫·梅罗（Massimo Merro）；Davide Sangiorgi，《姓名传递计算中的异步性》（Larsen，Kim G.；Skyum，Sven；Winskel，Glynn，ICALP 1998）。ICALP 1998，《计算机科学讲义》，第1443卷（1998），施普林格），856-867·Zbl 0910.03019号
[26] 罗宾·米尔纳，《函数作为过程》，《计算机科学中的数学结构杂志》，2，2，119-141（1992）·Zbl 0773.03012号
[27] 罗宾·米尔纳（Robin Milner），《多元π演算：教程》（Bauer，Friedrich L.；Brauer，Wilfried；Schwichtenberg，Helmut，Logic and Algebra of Specification，NATO 1991）。逻辑与代数规范，北约1991年，F系列，第94卷（1993年），施普林格）·Zbl 0872.08003号
[28] 罗宾·米尔纳（Robin Milner）；Sangiorgi，Davide，《倒刺相互模拟》（Kuich，W.，ICALP 1992）。ICALP 1992，《计算机科学讲义》，第623卷（1992年），施普林格出版社，685-695·Zbl 1425.68298号
[29] 乌韦·内斯特曼；本杰明·皮尔斯（Benjamin C.Pierce），《解码选择编码，信息与计算》，163，1，1-59（2000）·兹比尔1003.68080
[30] 约阿希姆·帕罗；Sjödin，Peter，《用耦合模拟验证多路同步》（Cleaveland，W.R.，CONCUR 1992）。CONCUR 1992，《计算机科学讲义》，第630卷（1992），Springer），518-533
[31] 菲利普斯，A。；吉田，N。；Eisenbach，S.，《用于盒式环境结石的分布式抽象机器》，（欧洲编程研讨会论文集（ESOP 2004）。欧洲规划研讨会论文集（ESOP 2004），LNCS（2004），斯普林格·Zbl 1126.68507号
[32] 本杰明·皮尔斯（Benjamin C.Pierce）。；Sangiorgi，Davide，移动进程的类型和子类型，计算机科学中的数学结构，6，5，409-454（1996）·Zbl 0861.68030号
[33] 詹姆斯·里利；Hennessy，Matthew，分布式进程和位置故障，理论计算机科学，226693-735（2001）·Zbl 0989.68007号
[34] Arnaud Sahuguet，Val Tannen，通过查询进程迁移实现资源共享，宾夕法尼亚大学，技术报告MS-CIS-01-102001。；Arnaud Sahuguet，Val Tannen，通过查询进程迁移实现资源共享，宾夕法尼亚大学，技术报告MS-CIS-01-102001。
[35] Sangiorgi，Davide，（π）-微积分，内部迁移和代理传递计算，理论计算机科学，167，1-2，235-274（1996）·兹比尔0874.68103
[36] Sangiorgi，Davide，关于互模拟证明方法，计算机科学中的数学结构，8，5，447-479（1998）·Zbl 0916.68057号
[37] 戴维·桑吉奥吉；David Walker，《Pi-calculus:移动过程理论》（2001），剑桥大学出版社·Zbl 0981.68116号
[38] 彼得·休厄尔（Peter Sewell）；沃伊切乔夫斯基（Pawel Wojciechowski）；本杰明·皮尔斯，《移动代理的位置独立性》（Bal，H.E.；Belkhouche，B.；Cardelli，L.，ICCL 1998）。ICCL 1998，计算机科学讲义，第1686卷（1999），Springer），1-31
[39] David N.Turner，《多态Pi-Calculus:理论与实现》，爱丁堡大学LFCS博士论文，1996年6月。CST-126-96（也称为ECS-LFCS-96-345）。；David N.Turner，《多态Pi-Calculus:理论与实现》，爱丁堡大学LFCS博士论文，1996年6月。CST-126-96（也称为ECS-LFCS-96-345）。
[40] 网址。Microsoft biztalk服务器。www.microsoft.com/biztalk；网址。Microsoft biztalk服务器。网址：www.microsoft.com/biztalk
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。