×
洛科·德尼古拉;丹尼尔·戈拉;罗萨里奥·普格利泽

全局计算微积分的基本观察值。 （英语） Zbl 1119.68124号

Inf.计算。 205，第10期，1491-1525（2007）.
摘要：我们开发了一种基本语言的语义理论，用于在全球计算机上建模应用程序，这些计算机的互连结构可以显式地操作。除了通过分布式数据存储库进行进程分布、进程移动性和远程异步通信之外，该语言还具有用于显式建模节点间连接以及动态激活和停用连接的原语。对于所提出的语言，我们定义了外延观测的自然概念，并研究了它们在运算约简和/或语言环境下的闭包，以获得倒钩同余并可以测试等价性。然后，我们将重点放在倒刺同余上，并根据标记的互模拟提供另一种表征。为了测试语义理论的实用性，我们对一个移动设备通信系统进行了建模，并使用引入的证明技术来验证其关键特性之一。

引用于6文件

MSC公司：

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

关键词：

过程计算;分布和流动性;显式连接;基本观测值;互模拟;5月测试

软件：

克拉瓦;克拉姆;琳达;tK目标
PDF格式BibTeX公司 XML格式引用
\textit{R.De Nicola}等人，《信息计算》。205，第10号，1491--1525（2007；Zbl 1119.68124）
全文： 内政部

参考文献：

[1] Amadio，R.，《关于流动性建模》，Theor。计算。科学。，240, 1, 147-176 (2000) ·兹比尔0954.68072
[2] 阿马迪奥·R·M。；卡斯特拉尼，I。；Sangiorgi，D.，《异步π演算的互模拟》，Theor。计算。科学。，195, 2, 291-324 (1998) ·Zbl 0915.68009号
[3] 贝蒂尼，L。；De Nicola，R.，《X-Klaim中的移动分布式编程》，（移动计算的形式方法。移动计算的正式方法，计算机科学讲义，第3465卷（2005），Springer），29-68
[4] 贝蒂尼，L。；德尼古拉，R。；费拉里，G。；Pugliese，R.，X-Klaim中的交互式移动代理，（第七届WETICE会议记录（1998年），IEEE），110-115
[5] 博雷尔，M。；De Nicola，R.，《移动进程的等效测试》，Inform。计算。，120, 279-303 (1995) ·Zbl 0835.68073号
[6] 博雷尔，M。；德尼古拉，R。；Pugliese，R.，跟踪和测试异步进程的等效性，Inform。计算。，172, 139-164 (2002) ·Zbl 1009.68079号
[7] 博雷尔，M。；德尼古拉，R。；Pugliese，R.，《过程的基本观察结果》，Inform。计算。，149, 1, 77-98 (1999) ·Zbl 0928.68013号
[8] 布列西，M。；克雷法，S。；梅罗，M。；Sassone，V.，《拳击环境中的通信和移动控制》，Inform。计算。，202, 1, 39-86 (2005) ·Zbl 1101.68943号
[9] Cardelli，L。；Gordon，A.D.，《移动环境》，Theor。计算。科学。，240, 1, 177-213 (2000) ·Zbl 0954.68108号
[10] 卡斯塔尼亚，G。；维泰克·J。；Zappa Nardelli，F.，《密封演算》，Inform。计算。，201, 1, 1-54 (2005) ·Zbl 1101.68060号
[11] 卡斯特拉尼，I。；Hennessy，M.，异步语言测试理论（FSTTCS’98 Proc.）。程序。FSTTCS’98，计算机科学讲义，第1530卷（1998年），Springer），90-101
[12] 德尼古拉，R。；费拉里，G。；蒙塔纳里，美国。；Pugliese，R。；Tuosto，E.，《QoS-Aware应用程序的过程演算》（2005年《协调程序》）。程序。COORDINATION’05，计算机科学课堂讲稿，第3454卷（2005），Springer），33-48
[13] 德尼古拉，R。；法拉利，G。；Pugliese，R.，Klaim:代理交互和移动性的核心语言，IEEE Trans。柔和。工程，24，5，315-330（1998）
[14] 德尼古拉，R。；戈拉，D。；Pugliese，R.，《基于KLAIM的计算的表达能力》，Theor。计算。科学。，356, 3, 387-421 (2006) ·Zbl 1092.68070号
[15] 德尼古拉，R。；戈拉，D。；Pugliese，R.，《全局计算微积分的基本观测值》（ICALP’05 Proc.）。程序。ICALP’05，计算机科学讲义，第3580卷（2005），Springer），1226-1238·Zbl 1085.68098号
[16] 德尼古拉，R。；戈拉，D。；Pugliese，R.，元组空间动态网络中的全局计算，（2005年《协调程序》）。程序。COORDINATION’05，计算机科学课堂讲稿，第3454卷（2005），Springer），157-172
[17] 德尼古拉，R。；Hennessy，M.，《过程等效性测试》，Theor。计算。科学。，34, 83-133 (1984) ·Zbl 0985.68518号
[18] C.Fournet、G.Gonthier、J.-J.Lévy、L.Maranget、D.Rémy，《移动代理演算》，摘自：Proc。CONCUR’96，《计算机科学讲义》，第1119卷，1996年，第406-421页。；C.Fournet，G.Gonthier，J.-J.Lévy，L.Maranget，D.Rémy，移动代理微积分，载于：Proc。CONCUR’96，《计算机科学讲义》，第1119卷，1996年，第406-421页·Zbl 1514.68166号
[19] A.Francalanza，分布式故障研究Π;; A.Francalanza，分布式故障研究Π;
[20] Francalanza，A。；Hennessy，M.，《存在节点和链路故障时的系统行为理论》，Lect。注释计算。科学，3653，368-382（2005）·Zbl 1134.68340号
[21] Gelernter，D.，《Linda中的生成传播》，ACM Trans。程序。语言系统。，7, 1, 80-112 (1985) ·兹伯利0559.68030
[22] D.Gorla，全球计算系统的语义方法。博士论文，博士。《信息科学院》，费伦泽大学，2004年。；D.Gorla，全球计算系统的语义方法。博士论文，博士。《信息科学院》，费伦泽大学，2004年。
[23] 轩尼诗，M。；梅罗，M。；Rathke，J.，走向分布式系统中访问和移动性控制的行为理论，Theor。计算。科学。，322，3165-669（2004年）·Zbl 1071.68009号
[24] Godskesen，J.C。；Hildebrandt，T.，将howe的方法扩展到具有本地名称的类型化移动嵌入式资源的早期互模拟，（FSTTCS’05的Proc。程序。FSTTCS’05，计算机科学讲义，第3821卷（2005），Springer），140-151·Zbl 1172.68553号
[25] 本田，K。；Yoshida，N.，《基于简化的过程语义》，Theor。计算。科学。，152, 2, 437-486 (1995) ·Zbl 0871.68122号
[26] 梅罗，M。；Zappa Nardelli，F.，《移动环境的防互模拟方法》，J.ACM，52，6，961-1023（2005）·Zbl 1326.68201号
[27] Milner，R.，《纯双图：结构和动力学》，Inform。计算。，204, 1, 60-122 (2006) ·Zbl 1093.68067号
[28] 米尔纳，R。；鹦鹉，J。；Walker，D.，《移动进程演算》，第I/II部分，《信息》。计算。，100, 1-77 (1992) ·Zbl 0752.68037号
[29] 米尔纳，R。；Sangiorgi，D.，Barbed相互模拟，（ICALP’92的Proc。程序。ICALP’92，《计算机科学讲义》，第623卷（1992年），施普林格出版社，685-695·Zbl 1425.68298号
[30] 蒙塔纳里，美国。；Pistore，M.，异步pi-calculus的有限状态验证，（TACAS'99的Proc.）。程序。TACAS’99，计算机科学讲义，第1579卷（1999），Springer），255-269
[31] 奥拉瓦，F。；Parrow，J.，移动网络的代数验证，形式方面计算。，4, 497-543 (1992) ·Zbl 0782.68081号
[32] Parrow，J.，《微积分简介》（《过程代数手册》（2001），爱思唯尔科学），479-543·Zbl 1035.68071号
[33] D.Sangiorgi，在过程代数中表达移动性：一阶和高阶Para-digms。爱丁堡大学博士论文ECS-LFCS-93-266，1993年。；D.Sangiorgi，在过程代数中表达移动性：一阶和高阶Para-digms。爱丁堡大学博士论文ECS-LFCS-93-266，1993年。
[34] Sangiorgi，D.，高阶过程计算中的相互模拟，Inform。计算。，131141-178（1996年）·Zbl 0876.68042号
[35] 施密特，A。；Stefani，J.-B.，《m演算：一种高阶分布式过程演算》（2003年《POPL'03学报》，美国医学出版社），50-61·Zbl 1321.68365号
[36] Sewell，P.，《从重写规则到互模拟同余》，Theor。计算。科学。，274, 1-2, 183-230 (2002) ·Zbl 0992.68122号
[37] Unyapoth，A。；Sewell，P.，Nomadic Pict:移动计算的正确通信基础设施，（POPL'01（2001），美国计算机学会会议记录），116-127·Zbl 1323.68416号
[38] Wischik，L。；Gardner，P.，显式融合演算的强互模拟，（FoSSaCS’04 Proc.）。程序。FoSSaCS’04，计算机科学讲义，第2987卷（2004），施普林格），484-498·Zbl 1126.68512号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。