佛朗哥·巴巴内拉;米歇尔·布格列西;马里亚纽拉州Dezani-Ciancaglini;弗拉迪米罗·萨松 太空器皿环境和工艺。 (英语) Zbl 1111.68011号 西奥。计算。科学。 373,编号1-2,41-69(2007). 摘要:资源控制在分布式系统的基础研究中引起了越来越多的兴趣。本文的重点是空间控制,并在具有有限容量和加权过程的环境演算的背景下分析空间使用情况,其中迁移和激活需要空间。类型系统通过提供静态保证来控制演算的动态,以确保在整个计算过程中保持预期的容量边界。我们研究了各种术语级机制,以补充空间分配和获取动力学的类型控制,并研究了它们对演算语义理论的影响。 引用于2文件 MSC公司: 64岁以下 分布式系统 关键词:分布式系统;资源控制;环境结石;类型和效果系统;行为语义学 软件:科莱姆 PDF格式BibTeX公司 XML格式引用 \textit{F.Barbanera}等人,Theor。计算。科学。373,编号1--2,41-69(2007;Zbl 1111.68011) 全文: 内政部 链接 参考文献: [1] (Bacchus,Fahiem;Walsh,Toby,《可满足性测试的理论和应用》,《可满意性测试的原理与应用》,计算机科学讲义,第3569卷(2005),Springer-Verlag)·Zbl 1077.68002号 [2] 佛朗哥·巴巴内拉;米歇尔,布列西;玛丽安吉拉·德扎尼·西安卡里尼(Dezani-Ciancaglini);Sassone,Vladimiro,《有限容量演算》(Saraswat,Vijay A.,亚洲'03)。2003年亚洲,《计算机科学讲义》,第2896卷(2003年),施普林格出版社,205-223·Zbl 1215.68036号 [3] 佛朗哥·巴巴内拉;玛丽安吉拉·德扎尼·西安卡里尼(Dezani-Ciancaglini);伊万诺·萨尔沃;Sassone,Vladimiro,《安全环境的类型推理算法》,(Lenisa,Marina;Miculan,Marino,TOSCA'01)。TOSCA'01,ENTCS,第62卷(2002),爱思唯尔科学)·Zbl 1268.68120号 [4] 米歇尔·布格列西;朱塞佩·卡斯塔尼亚(Giuseppe Castagna),《安全环境》(Secure safe ambients)(克里斯·汉金(Chris Hankin);戴夫·施密特(Dave Schmidt),POPL'01(2001),美国医学会出版社),222-235·Zbl 1323.68404号 [5] 米歇尔·布格列西;西尔维亚·克拉法;马西莫·梅罗(Massimo Merro);Sassone,Vladimiro,《封闭环境中的通信和移动性控制,信息与计算》,202,1,39-86(2005)·Zbl 1101.68943号 [6] 卢卡·卡德利;安德鲁·戈登(Andrew D.Gordon)。;Le Métayer,D.,移动环境,协调。协调,理论计算机科学,240,1,177-213(2000),(特刊)·Zbl 0954.68108号 [7] 维托尔德·查拉托尼克;安德鲁·戈登(Andrew D.Gordon)。;Talbot、Jean-Marc、Finite-control移动环境(Le Métayer、Daniel、ESOP’02)。ESOP’02,计算机科学讲义,第2305卷(2002),Springer-Verlag),295-313·Zbl 1077.68574号 [8] 卡尔·克里;Stephanie Weirich,《资源约束认证》,(Wegman,Mark;Reps,Thomas,POPL'00(2000),ACM出版社),184-198·Zbl 1323.68368号 [9] De Nicola,罗科;Gianluigi法拉利;罗萨里奥·普格利泽;Betti Venneri,访问控制类型,理论计算机科学,240,1,215-254(2000)·Zbl 0954.68025号 [10] Godskesen,Jens Chr。;托马斯·希尔德布兰特;Sassone,Vladimiro,《移动资源演算》(Brim,Lubos;Jancar,Petr;Kretinsky,Mojmir;Kucera,Antonin,CONCUR’02)。CONCUR’02,计算机科学讲稿,第2421卷(2002),Springer-Verlag),272-287·Zbl 1012.68519号 [11] 安德鲁·戈登(Andrew D.Gordon)。;Cardelli,Luca,移动环境的等式性质,计算机科学中的数学结构,13,3,371-408(2003)·兹比尔1085.68099 [12] 轩尼诗,马修;马西莫·梅罗(Massimo Merro);Julian Rathke,《走向分布式系统中访问和移动性控制的行为理论》,《理论计算机科学》,322,3615-669(2004)·Zbl 1071.68009号 [13] 轩尼诗,马修;James Riely,移动代理系统中的资源访问控制,信息与计算,173,82-120(2002)·Zbl 1009.68081号 [14] 马丁·霍夫曼(Martin Hofmann),《非尺寸增加计算的强度》(The strength of non-size-in-creating computation),(约翰·朗奇伯里(John Launchbury);约翰·C·米切尔·Zbl 1323.68213号 [15] 马丁·霍夫曼;Jost,Steffen,一阶函数程序堆空间使用的静态预测,(Morrisett,Greg;Aiken,Alex,POPL'03(2003),ACM出版社),185-197·Zbl 1321.68180号 [16] 本田、Kohei;Nobuko Yoshida,《基于约简的过程语义》,《理论计算机科学》,152,2437-486(1995)·Zbl 0871.68122号 [17] Atsushi Igarashi;Naoki Kobayashi,《资源利用分析》,(John Launchbury;John C.Mitchell,POPL'02(2002),ACM出版社),331-342·Zbl 1323.68377号 [18] 弗朗西丝卡·列维;Sangiorgi,Davide,《控制环境中的干扰》,《编程语言和系统学报》,25,1,1-69(2003)·Zbl 1323.68411号 [19] Ugo de’Liguoro,Giuseppe Falzetta,《BoCa的效果系统:Prolog实现》,IST-2001-33477(DART)项目资助。网址:http://www.di.unito.it/deligu/papers/dLF05.pdf,2005年;Ugo de’Liguoro,Giuseppe Falzetta,《BoCa的效果系统:Prolog实现》,IST-2001-33477(DART)项目资助。网址:http://www.di.unito.it/deligu/papers/dLF05.pdf,2005年 [20] 马西莫·梅罗(Massimo Merro);Hennessy,Matthew,《安全环境中的双模拟同余》(Launchbury,John;Mitchell,John C.,POPL'02(2002),ACM出版社),71-80·Zbl 1323.68412号 [21] 罗宾·米尔纳(Robin Milner);Sangiorgi,Davide,Barbed bisimulation,(Kuich,Werner,ICALP’92)。ICALP’92,《计算机科学讲义》,第623卷(1992年),施普林格出版社,685-695·Zbl 1425.68298号 [22] 乔治·C·内库拉(George C.Necula),《婚姻证明代码》(Proof-carrying code)(琼斯·尼尔·D·琼斯,《流行乐》97(1997),ACM出版社),106-119·Zbl 0977.68598号 [23] 乔治·L·纳姆豪泽。;Wolsey,Laurence A.,《整数与组合优化》(1988),威利·Zbl 0652.90067号 [24] 本杰明·皮尔斯;Sangiorgi,Davide,移动进程的类型和子类型,计算机科学中的数学结构,6,5,409-454(1996)·Zbl 0861.68030号 [25] Pugh,William,The omega test:用于相关性分析的快速实用整数规划算法,超级计算,4-13(1991) [26] Davide Sangiorgi,在过程代数中表达迁移:一阶和高阶范式,博士论文CST-99-93,爱丁堡大学计算机科学系,1992;Davide Sangiorgi,在过程代数中表达迁移:一阶和高阶范式,博士论文CST-99-93,爱丁堡大学计算机科学系,1992年 [27] Sangiorgi,Davide,高阶过程结石的双模拟,信息与计算,131,2141-178(1996)·Zbl 0876.68042号 [28] Sangiorgi,Davide,环境逻辑的外延和内涵,(Hankin,Chris;Schmidt,Dave,POPL'01(2001),ACM出版社),4-13·Zbl 1323.68415号 [29] 戴维·桑吉奥吉;罗宾·米尔纳(Robin Milner),“弱互模拟问题”(Cleaveland,Walter R.,CONCUR’92)。CONCUR’92,计算机科学讲义,第630卷(1992),Springer-Verlag),32-46·Zbl 1425.68298号 [30] David Teller,《(pi)演算中的资源回收》,(Lévy,Jean-Jacques;Mayr,Ernst W.;Mitchell,John C.,TCS'04(2004),Kluwer),605-618·Zbl 1088.68667号 [31] David Teller;帕斯卡·齐默(Pascal Zimmer);Daniel Hirschkoff,《利用环境控制资源》(Brim,Lubos;Jancar,Petr;Kretinsky,Mojmir;Kucera,Antonin,CONCUR’02)。CONCUR’02,计算机科学讲稿,第2421卷(2002),Springer-Verlag),288-303·Zbl 1012.68530号 [32] Joe Wells,《主要类型的本质》,(Widmayer,P.;Triguero,F.;Morales,R.;Hennessy,M.;Eidenbez,S.;Conejo,R.,ICALP’02)。ICALP’02,计算机科学讲义,第2380卷(2002),Springer-Verlag),913-925·Zbl 1057.03023号 [33] 吉田、Nobuko;Hennessy,Matthew,分布式高阶移动过程中的子类型和局部性(扩展抽象),(Baeten,Jos C.M.;Mauw,Sjouke,CONCUR’99。CONCUR’99,计算机科学讲义,第1664卷(1999),Springer-Verlag),557-573·Zbl 0940.68024号 [34] Francesco Zappa Nardelli,De la sémantique des Processus d’Ordre Supérieur,博士论文,巴黎高等师范学院,2003年;弗朗西斯科·扎帕·纳德利(Francesco Zappa Nardelli),《治安管理程序》(De la sémantique des Processus d’Ordre Supérieur)博士论文,巴黎高等师范学院,2003年 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。