卢卡·卡德利；乔治·盖利；安德鲁·戈登。 环境演算的类型。 （英文） Zbl 1093.68060号 Inf.计算。 177，第2期，160-194（2002）. 概要：环境演算是一种并发演算，其中环境的统一概念用于为分布式和移动计算建模许多不同的构造。我们研究了一个描述环境行为若干属性的类型系统。类型系统允许根据系统的预期设计将环境划分为不相交的集（组），以指定环境的通信和移动性行为。 引用于16文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 引文：Zbl 0998.68536号 软件：TALx86 PDF格式BibTeX公司 XML格式引用 \textit｛L.Cardelli｝等人，信息计算。177，编号2，160--194（2002；Zbl 1093.68060） 全文： 内政部 链接 参考文献： [1] Abadi，M.，《键入安全协议的保密性》，J.Assoc.Compute。机器。，46, 749-786 (1999) ·Zbl 1064.94542号 [2] Abadi，M，and，Cardelli，L.，1996年，《物体理论》，斯普林格·弗拉格出版社，柏林。；Abadi，M，and，Cardelli，L.，1996，《物体理论》，柏林斯普林格-弗拉格出版社·Zbl 0876.68014号 [3] Amadio，R.M.1997，局部性、故障和过程移动性的异步模型，在里面; Amadio，R.M.1997，局部性、故障和过程移动性的异步模型，在里面 [4] Amadio，R.M.和Prasad，S.1994，地方和失败，在里面; Amadio，R.M.和Prasad，S.1994，地点和失败，在里面·兹比尔1044.68682 [5] Amtoft，T.、Kfoury，A.J.和Pericas-Geertsen，S.M.2001，什么是多态型环境？在里面; Amtoft，T.、Kfoury，A.J.和Pericas-Geertsen，S.M.2001，什么是多态型环境？在里面·Zbl 0977.68525号 [6] Bodei，C.、Degano，P.、Nielson，F.和Riis Nielson（H.1998），π演算的控制流分析，在里面; Bodei，C.、Degano，P.、Nielson，F.和Riis Nielson（H.1998），π演算的控制流分析，在里面 [7] Boudol，G.1992，《异步与π-演算》（注），Recherche Rapport de Recherche 1702，INRIA Sophia-Antipolis，5月。；Boudol，G.1992，异步与π-微积分（注），Rapport de Recherche 1702，INRIA Sophia Antipolis，五月。 [8] Bugliesi，M.和Castagna，G.2001，安全环境，在里面; Bugliesi，M.和Castagna，G.2001，安全环境，在里面·Zbl 1323.68404号 [9] Cardelli，L.、Ghelli，G.和Gordon，A.D.1999，移动环境的移动类型，在里面; Cardelli，L.、Ghelli，G.和Gordon，A.D.1999，移动环境的移动类型，在里面 [10] Cardelli，L.、Ghelli，G.和Gordon，A.D.2000，环境群体和流动类型，在里面; Cardelli，L.、Ghelli，G.和Gordon，A.D.2000，环境群体和流动类型，在里面·Zbl 0998.68536号 [11] Cardelli，L.、Ghelli，G.和Gordon，A.D.2000，《保密与团队创建》，在里面; Cardelli，L.、Ghelli，G.和Gordon，A.D.2000，《保密与团队创建》，在里面·Zbl 0999.68148号 [12] Cardelli，L.和Gordon，A.D.1999，移动环境的类型，在里面; Cardelli，L.和Gordon，A.D.1999，移动环境的类型，在里面 [13] Cardelli，L。；Gordon，A.D.，《移动环境》，Theoret。计算。科学。，240, 177-213 (2000) ·兹比尔0954.68108 [14] Coquand，T。；Huet，G.，《建筑微积分》，Inform。和计算。，76, 95-120 (1988) ·Zbl 0654.03045号 [15] Dal Zilio，S.和Gordon，A.D.2000，区域分析和群π演算，在里面J.功能。程序; Dal Zilio，S.和Gordon，A.D.2000，区域分析和群π演算，在里面J.功能。程序·Zbl 0996.68120号 [16] De Nicola，R.、Ferrari，G.和Pugliese，R.1999，访问策略的类型规范，在里面; De Nicola，R.、Ferrari，G.和Pugliese，R.1999，访问策略的类型规范，在里面 [17] Degano，P.、Levi，F.和Bodei，C.2000，《安全环境：控制流分析和安全》，在里面; Degano，P.、Levi，F.和Bodei，C.2000，《安全环境：控制流分析和安全》，在里面·Zbl 0988.68543号 [18] Dezani-Ciancaglini，M.和Salvo，I.2000，移动安全环境的安全类型，在里面; Dezani-Ciancaglini，M.和Salvo，I.2000，移动安全环境的安全类型，在里面·Zbl 0988.68544号 [19] Feret，J.2001，基于抽象解释的移动环境静态分析，在里面; Feret，J.2001，基于抽象解释的移动环境静态分析，在里面·兹比尔0997.68508 [20] Hansen，R.R.、Jensen，J.G.、Nielson，F.和Riis Nielson（H.1999），《移动环境的抽象解读》，在里面; Hansen，R.R.、Jensen，J.G.、Nielson，F.和Riis Nielson（H.1999），《移动环境的抽象解读》，在里面·Zbl 0957.68079号 [21] Honda，K.和Tokoro，M.1991，异步通信的对象演算，在里面; Honda，K.和Tokoro，M.1991，异步通信的对象演算，在里面 [22] Lange，D，and，Oshima，M.1998，《使用Aglet编程和部署Java移动代理》，马萨诸塞州艾迪森·韦斯利，雷丁。；Lange，D，and，Oshima，M.1998，《使用Aglet编程和部署Java移动代理》，马萨诸塞州艾迪森·韦斯利，雷丁。 [23] Levi，F.和Bodei，C.2000，移动环境的安全分析，在里面; Levi，F.和Bodei，C.2000，移动环境的安全分析，在里面 [24] Levi，F.和Maffeis，S.2001，分析流动环境的抽象解释框架，在里面; Levi，F.和Maffeis，S.2001，分析流动环境的抽象解释框架，在里面·Zbl 0997.68509号 [25] Levi，F.和Sangiorgi，D.2000，控制环境中的干扰，在里面; Levi，F.和Sangiorgi，D.2000，控制环境中的干扰，在里面·Zbl 1323.68411号 [26] Lindholm，T，and，Yellin，F.1997，《Java虚拟机规范》，马萨诸塞州雷丁市Addison-Wesley。；Lindholm，T，and，Yellin，F.1997，《Java虚拟机规范》，马萨诸塞州Addison-Wesley，Reading。 [27] Milner，R.1999，《通信和移动系统：π-演算》，剑桥大学出版社，英国剑桥。；Milner，R.1999，《通信和移动系统：π-演算》，剑桥大学出版社，英国剑桥·Zbl 0942.68002号 [28] 莫里塞特，G。；Walker，D。；克雷利（Crary，K.）。；Glew，N.，从系统F到类型化汇编语言，ACM Trans。程序。语言系统，21528-569（1999） [29] Nielson，F.、Riis-Nielson，H.、Hansen，R.R.和Jensen，J.G.1999，验证移动环境中的防火墙，在里面; Nielson，F.、Riis Nielson，H.、Hansen，R.R.和Jensen，J.G.1999，验证移动环境中的防火墙，在里面 [30] Nielson，F.、Riis-Nielson，H.和Sagiv，M.2000，《移动环境的Kleene分析》，在里面; Nielson，F.、Riis-Nielson，H.和Sagiv，M.2000，《移动环境的Kleene分析》，在里面·Zbl 0971.68579号 [31] Riis Nielson，H.和Nielson（F.2000），移动环境的形状分析，在里面; Riis Nielson，H.和Nielson（F.2000），移动环境的形状分析，在里面·Zbl 1323.68414号 [32] Riely，J.和Hennessy，M.1998，分布式移动进程的类型化语言，在里面; Riely，J.和Hennessy，M.1998，分布式移动进程的类型化语言，在里面 [33] Sewell，P.1998，分布式π演算的全局/局部子类型和能力推断，在里面; Sewell，P.1998，分布式π演算的全局/局部子类型和能力推断，在里面·Zbl 0910.03021号 [34] 托夫特，M。；Talpin，J.-P.，基于区域的内存管理，Inform。和计算。，132, 109-176 (1997) ·Zbl 0876.68027号 [35] White，J.E.1996，移动代理，在里面; White，J.E.1996，移动代理，在里面 [36] Zimmer，P.2000，移动环境的子类型和键入算法，在里面; Zimmer，P.2000，移动环境的子类型和键入算法，在里面·Zbl 0961.68094号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。