×

分布式系统中并发和资源控制的空间行为类型。 (英语) Zbl 1146.68018号

摘要:我们开发了一种空间行为类型的概念,适用于规范分布式对象系统中的并发交互和资源使用。我们的类型结构反映了一个资源敏感模型,其中并行组合类型运算符表示资源独立性,顺序组合类型运算符表示资源同步,类型模态表示资源所有权。我们使用并发对象演算对预期的计算系统进行建模。我们的类型系统的健全性是使用逻辑关系技术建立的,它建立在将类型解释为空间逻辑中可表达的属性的基础上。

MSC公司:

64岁以下 分布式系统
03B70号 计算机科学中的逻辑
68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] M.阿巴迪。;Cardelli,L.,《原始对象理论:无类型和一阶系统》,信息与计算,125,2(1996)·Zbl 0853.68115号
[2] Bartoletti先生。;Degano,P。;Ferrari,G.,《实施安全服务组合》,(第18届IEEE计算机安全基础研讨会(2005年),IEEE计算机学会),211-223
[3] Di Blasio,P。;Fisher,K.,《并发对象的微积分》,(Montanari,U.;Sassone,V.,CONCUR’96,第七届国际会议并发理论。CONCUR‘96,第7届国际会议,计算机科学讲义,第1119卷(1996),Springer-Verlag),655-670·Zbl 1514.68163号
[4] 博雷尔,M。;布鲁尼,R。;Caires,L。;德尼古拉,R。;拉内斯,我。;洛雷蒂,M。;马丁斯,F。;Montanari,美国。;拉瓦拉,A。;Sangiorgi,D。;瓦康塞洛斯,V。;Zavattaro,G.,SCC:以服务为中心的微积分(2006年WS-FM会议录,第三届Web服务和形式方法国际研讨会。2006年WS-FM会议录第三届网络服务和形式化方法国际研讨会,计算机科学讲义(2006),斯普林格·弗拉格)
[5] Caires,L.,《像素逻辑中的行为和空间属性》(Walukiewicz,I.,Proc.of Foundations of Software Science and Computation Structures,2004)。程序。《软件科学和计算结构基础》2004年,计算机科学讲义,第2987卷(2004),斯普林格出版社)·Zbl 1126.68495号
[6] Caires,L.,《空间行为类型、分布式服务和资源》,(Montanari,U.;Sanella,D.,TGC 2006年第二届可信全球计算国际研讨会·Zbl 1211.68026号
[7] Caires,L。;Cardelli,L.,并发的空间逻辑(第一部分),信息与计算,186,2,194-235(2003)·Zbl 1068.03022号
[8] Caires,L。;Cardelli,L.,并发的空间逻辑(第二部分),理论计算机科学,3,322,517-565(2004)·Zbl 1050.68104号
[9] Caires,L.,并发类型的逻辑语义,(Mossakowski,T.;Montanari,U.;Haveraen,M.,计算机科学中的代数和代数,CALCO 2007。计算机科学中的代数和余代数,CALCO 2007,计算机科学讲义,第4624卷(2007),Springer-Verlag),16-35·Zbl 1214.68244号
[10] 加尔卡尼奥,C。;O'Hearn,P.W。;Yang,H.,局部作用和抽象分离逻辑,(LICS 2007,第22届IEEE计算机科学逻辑研讨会(2007),IEEE计算机学会),366-378
[11] Cardelli,L。;戈登,A.D.,随时随地。移动环境的模态逻辑,(第27届ACM程序设计语言原理交响曲(2000),ACM),365-377·Zbl 1323.68405号
[12] 卡斯塔尼亚,G。;德尼古拉,R。;Varacca,D.,(pi)演算的语义子类型,(LICS 2005,第20届IEEE计算机科学逻辑研讨会(2005),IEEE计算机学会),92-101
[13] S.Chaki,S.K.Rajamani,J.Rehof,类型作为模型:模型检查消息传递程序,收录于:POPL 2002:第29届编程语言原理研讨会,2002年,第45-57页;S.Chaki,S.K.Rajamani,J.Rehof,类型作为模型:模型检查消息传递程序,收录于:POPL 2002:第29届编程语言原理研讨会,2002年,第45-57页·Zbl 1323.68365号
[14] D.G.Clarke,S.Drossopoulou,《所有权、封装和类型与效果的分离》,摘自:Proc。2002年ACM面向对象编程系统、语言和应用会议,2002年,第292-310页;D.G.Clarke,S.Drossopoulou,《所有权、封装和类型与效果的分离》,摘自:Proc。2002年ACM面向对象编程系统、语言和应用会议,2002年,第292-310页
[15] 克拉克·D·G。;波特,J.M。;Noble,J.,《灵活别名保护的所有权类型》,(《第13届面向对象编程、系统、语言和应用会议论文集》,《第13次面向对象编程会议论文集,系统、语言与应用》,ACM SIGPLAN通知,第33:10卷(1998),ACM出版社:ACM出版社,纽约),48-64
[16] 戈登,A.D。;Hankin,P.D.,《并发对象演算:归约与打字》,《理论计算机科学电子笔记》,第16、3期(1998年)·Zbl 0917.68064号
[17] 轩尼诗,M。;Riely,J.,移动代理系统中的资源访问控制,信息与计算,173,1,82-120(2002)·Zbl 1009.68081号
[18] 《走向并行编程理论》(Hoare,C.A.R.;Perrot,R.,《操作系统技术》(1972),学术P.)·兹伯利0347.68011
[19] 本田,K。;Vasconselos,V.T。;Kubo,M.,《结构化通信编程的语言原语和类型规程》,(Hankin,C.,《编程语言和系统——ESOP’98》,第七届欧洲编程研讨会。《编程语言与系统——ESOP'98》,《第七届欧洲编程研讨会,计算机科学讲义》,第1381卷(1998),斯普林格·弗拉格),122-138
[20] A.Igarashi,N.Kobayashi,pi-calculus的泛型系统,收录于:POPL 2001:第28届编程语言原理年度研讨会,2001年;A.Igarashi,N.Kobayashi,pi-calculus的泛型系统,收录于:POPL 2001:第28届程序设计语言原理年度研讨会,2001年·Zbl 1323.68410号
[21] A.Igarashi,N.Kobayashi,《资源使用分析》,载于:POPL 2002:第29届SIGPLAN-SIGACT编程语言原理研讨会,2002年,第331-342页;A.Igarashi,N.Kobayashi,《资源使用分析》,载于:POPL 2002:第29届SIGPLAN-SIGACT编程语言原理研讨会,2002年,第331-342页·Zbl 1323.68377号
[22] C.B.Jones,《(并行)程序的规范和设计》,载于:IFIP大会,1983年,第321-332页;C.B.Jones,《(并行)程序的规范和设计》,摘自:IFIP大会,1983年,第321-332页
[23] U.de’Liguoro,M.Dezani-Ciancaglini,N.Yoshida,《结构化通信的进展》,载于:2007年第三届可信全球计算TGC研讨会论文集;U.de’Liguoro,M.Dezani-Ciancaglini,N.Yoshida,《结构化通信的进展》,摘自:2007年第三届可信全球计算TGC研讨会论文集
[24] 德尼古拉,R。;费拉里,G。;Pugliese,R.,Klaim:代理交互和移动性的核心语言,IEEE软件工程学报,24,5,315-330(1998)
[25] O’Hearn,P.W.,《资源、并发和局部推理》,(Gardner,P.;Yoshida,N.,CONCUR 2004-并发理论,第15届国际会议。CONCUR 2004-并发理论,第15届国际会议,计算机科学讲义,第3170卷(2004),Springer),49-67·Zbl 1099.68588号
[26] O'Hearn,P.W.,《资源、并发和局部推理》,《理论计算机科学》,375,1-3,271-307(2007)·Zbl 1111.68023号
[27] P.W.O'Hearn,《通信过程的分离逻辑语义》,收录于:2007年Concur邀请讲座——未出版,2007年;P.W.O'Hearn,《通信过程的分离逻辑语义》,收录于:2007年Concur大会的受邀演讲——未出版,2007年
[28] 拉扎,M。;Gardner,P.,《局部推理中的足迹》,(Amadio,R.,《软件科学和计算结构基础程序》。《软件科学基础和计算结构程序》,《计算机科学讲义》,第4962卷(2008年),Springer Verlag)·Zbl 1139.68020号
[29] J.C.Reynolds,干扰的句法控制,摘自:第五届美国计算机学会编程语言原理研讨会会议记录,亚利桑那州图森市,1978年1月,第39-46页;J.C.Reynolds,干扰的句法控制,摘自:第五届美国计算机学会编程语言原理研讨会会议记录,亚利桑那州图森市,1978年1月,第39-46页
[30] Reynolds,J.C.,《分离逻辑:共享可变数据结构的逻辑》,(第三届计算机科学逻辑年会(2002年),IEEE计算机学会:IEEE计算机协会,丹麦哥本哈根)
[31] Sangiorgi,D.,类型,或:CCS和pi的区别在哪里?,(Brim,L.;Jancar,P.;Kretínskí,M.;Kucera,A.,CONCUR 2002,第13届国际会议,计算机科学讲义,第2421卷(2002),Springer-Verlag),76-97·Zbl 1012.68137号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。