×

兹马思-数学第一资源

领域特定分布式系统工程的形式化方法。(英语) Zbl 07161324
摘要:我们回顾了在费伦泽大学对并发和移动性小组的研究中,有关不同类别分布式系统的规范、编程和验证的一些结果。更具体地说,我们研究了网络感知编程、面向服务计算、自主计算和集体自适应系统编程的区别特征。然后我们将介绍四种不同的语言,即克莱姆,奶牛,Scel公司AC. 对于每种语言,我们讨论设计选择,呈现语法和语义,展示如何使用不同的形式来建模和编程旅行预订场景,并描述编程环境和验证技术。
理学硕士:
68-XX号 计算机科学
PDF格式 BibTeX公司 XML 引用
参考文献:
[1] 德尼科拉,R。;法拉利,G.L。;普利斯,R。;Tiezzi,F.,《领域特定分布式系统工程的正式方法》,(COORDINATION.COORDINATION,LNCS,vol.10852(2018),Springer),110-141
[2] 福格塔,A。;皮科,G.皮特罗;Vigna,G.,理解代码移动性,IEEE Trans。软。工程学,24342-361(1998)
[3] 帕帕佐格罗,医学博士。;Georgakopoulos,D.,面向服务的计算,社区。ACM,46,10,24-28(2003年)
[4] 基洛法罗。;Chess,D.M.,自主计算的愿景,计算机,36,41-50(2003)
[5] 安德森S。;布雷德切,N。;艾本,A。;坎皮斯,G。;van Steen,M.,《适应性集体系统:放牧害群之马》(2013年),ICT研究用印刷品
[6] 德尼科拉,R。;法拉利,G.L。;Pugliese,R.,Klaim:代理交互和移动性的核心语言,IEEE Trans。软。英国,24,5,315-330(1998)
[7] 普利斯,R。;Tiezzi,F.,web服务编排的微积分,J.Appl。日志,10,1,2-31(2012)
[8] 德尼科拉,R。;洛雷蒂,M。;普利斯,R。;Tiezzi,F.,自主系统编程的正式方法:SCEL语言,ACM Trans。自动。适应。系统,9,2,7(2014)
[9] 阿布德阿尔拉赫曼,Y。;德尼科拉,R。;Loreti,M.,《基于属性的通信的力量》,(FORTE.FORTE,LNCS,第9688卷(2016年),Springer),1-18·Zbl 1347.68022
[10] 普洛金,G.D.,《操作语义学的结构方法》,J.Log。代数程序,60-61,17-139(2004)·108ZB62.6802升
[11] Gelernter,D.,《linda中的生成性沟通》,ACM Trans。程序。《语言系统》,第7、1、80-112页(1985年)·Zbl 0559.68030
[12] Gelernter,D.,linda中的多元组空间,(PARLE.PARLE,LNCS,vol.366(1989),Springer),20-27
[13] 戴维斯,N。;韦德,S。;星期五,A。;Blair,G.,L^2imbo:一个基于元组空间的自适应移动应用平台,(ICODP/ICDP(1997),Springer),291-302
[14] 卡斯特拉尼。;恰卡里尼,P。;Rossi,D.,《阴影的形状:协调系统》(1996),Dip。di Scienze dell'Informazione,大学:Dip。博洛尼亚大学,技术代表UBLCS 96-5
[15] Deugo,D.,选择移动代理消息模型,(ISADS(2001),IEEE),278-286
[16] 法拉利,G.L。;莫吉,E。;Pugliese,R.,Metaklaim:一种用于全局计算的类型安全多级语言,数学。结构。计算机。《科学》第14、3、367-395页(2004年)·Zbl 1085.68013
[17] 德尼科拉,R。;法拉利,G.L。;普利斯,R。;Venneri,B.,访问控制类型,理论。计算机。科学,240,1215-254(2000)·Zbl 0954.68025
[18] 贝蒂尼,L。;洛雷蒂,M。;Pugliese,R.,KLAIM的结构化网络,(SAC(2000),ACM),174-180
[19] 贝蒂尼,L。;德尼科拉,R。;法拉利,G。;Pugliese,R.,《X-Klaim中的交互式移动代理》,(WETICE(1998),IEEE计算机协会出版社),110-115
[20] 贝蒂尼,L。;德尼科拉,R。;Pugliese,R.,Klava:一个用于分布式和移动应用的Java包,Softw。实践。实验,32,14,1365-1394(2002)·Zbl 1009.68933
[21] 贝蒂尼,L。;梅雷利E。;Tiezzi,F.,X-KLAIM回来了,(并发和分布式编程的模型、语言和工具——在Rocco De Nicola 65岁生日之际为他写的文章。并发和分布式编程的模型、语言和工具——Rocco De Nicola 65岁生日的文章,LNCS,第11665卷(2019年),斯普林格),115-135
[22] Bettini,L.,用Xext和Xtend实现特定领域的语言(2016),Packt Publishing
[23] 德尼科拉,R。;莫代尔,移动代理。计算机。日志,5,1,79-128(2004)·Zbl 1367.68064
[24] 德尼科拉,R。;戈拉,D。;Pugliese,R.,全球计算应用中的限制数据和过程,Sci。计算机。程序,63,1,57-87(2006)·Zbl 1137.68333
[25] 戈拉,D。;Pugliese,R.,《网络感知协调语言中能力的动态管理》,J.Log。代数程序,78,8665-689(2009)·Zbl 1183.68041
[26] 《从流逻辑到协调语言的静态类型系统》,Sci。计算机。程序,756376-397(2010)·Zbl 1192.68126
[27] 博德,C。;德加诺,P。;法拉利,G.L。;Galletta,L.,跟踪物联网数据收集和聚合的位置,记录。方法计算。科学,13,3,1-38(2017)·Zbl 1459.68013
[28] 博德,C。;Galletta,L.,《物联网中的数据轨迹跟踪》,(国际信息系统安全与隐私会议(2019年),SciTePress),572-579
[29] 博德,C。;德加诺,P。;法拉利,G.L。;卡莱塔的轨道,(并发和分布式编程的模型、语言和工具——在Rocco De Nicola 65岁生日之际为他写的文章。并发和分布式编程的模型、语言和工具——Rocco De Nicola 65岁生日的专题论文,LNCS,第11665卷(2019年),第437-454页
[30] 博德,C。;德加诺,P。;法拉利,G.L。;Galletta,L.,《物联网系统的安全度量》,LNCS(2020),Springer,(即将出版)
[31] 布拉夫列夫。;德尼科拉,R。;Mezzina,C.A.,评估linda实现的效率,Concurr。计算,30,8(2018年)
[32] 密室,G。;马里亚尼,S。;卢维尔,M。;奥米奇尼,A。;Zambonelli,F.,《二十年协调技术:最新技术和展望》,(协调、协调,LNCS,第10852卷(2018年),Springer),51-80
[33] (C.,Priami;P.,Quaglia,《全球计算》,全球计算,LNCS,第3267卷(2005年),斯普林格)
[34] 轩尼诗,M。;瑞利,J.,《移动代理系统中的资源访问控制》,信息计算,173,1,82-120(2002)·Zbl 1009.68081
[35] 福奈特,C。;冈瑟,G。;莱维,J。;马兰盖,L。;Rémy,D.,移动代理的微积分,(CONCUR’96,并发理论,第七届国际会议,CONCUR’96,并发理论,第七届国际会议,会议记录,计算机科学课堂讲稿,第1119卷(1996),Springer),406-421
[36] 福奈特,C。;Gonthier,G.,《连接微积分:分布式移动编程语言》(应用语义学,国际暑期学校,APPSEM 2000,高级讲座。应用语义学,国际暑期学校,APPSEM 2000,高级讲座,计算机科学课堂讲稿,第2395卷(2002),Springer),268-332·Zbl 1065.68071
[37] 卡德利,L。;戈登,A.D.,流动环境理论。计算机。《科学》第240卷第177-213页(2000年)·Zbl 0954.68108
[38] W3C,Web服务活动(2018)
[39] 拉帕杜拉,A。;普利斯,R。;Tiezzi,F.,web服务编排的微积分(ESOP.ESOP,LNCS,vol.4421(2007),Springer),33-47·Zbl 1187.68070
[40] OASIS WSBPEL TC,Web服务业务流程执行语言2.0版(2007年4月),技术代表,OASIS
[41] 梅罗,M。;Sangiorgi,D.,关于名字传递计算中的异步,数学。结构。计算机。《科学》第14、5、715-767页(2004年)·Zbl 1093.68026
[42] 阿马迪奥,R。;卡斯特拉尼,I。;Sangiorgi,D.,关于异步pi演算的双模拟,理论。计算机。195年,第324页,第292页·Zbl 0915.68009
[43] 塞萨里,L。;普利斯,R。;Tiezzi,F.,相亲对话加入,服务。定向计算机。申请书,11,3,265-283(2017年)
[44] 米尔纳,R。;帕罗,J。;Walker,D.,《移动过程的微积分》,I和II,Inf.Comput.,100,1,1-40(1992),第41-77页·Zbl 0752.68036
[45] 拉帕杜拉,A。;普利斯,R。;Tiezzi,F.,使用正式方法开发WS-BPEL应用程序,Sci。计算机。计划,77,3,189-213(2012年)
[第四十六条] 塞萨里,L。;普利斯,R。;Tiezzi,F.,一个用于快速开发WS-BPEL应用程序的工具,ACM SIGAPPAppl。计算机。第11、1、27-40版(2010年)
[47] 拉帕杜拉,A。;普利斯,R。;Tiezzi,F.,规范面向服务应用中的数据交换,(FSEN.FSEN,LNCS,第4767卷(2007年),Springer),223-239·Zbl 1141.68509
[48] 普利斯,R。;蒂兹,F。;Yoshida,N.,关于观察SOC中的动态优先行动,(ICALP.ICALP,LNCS,vol.5556(2009),Springer),558-570·Zbl 1248.68099
[49] Fantechi,A.,面向服务计算的逻辑验证方法,ACM Trans。软。《方法学》第21-16页,2012年第16-16页
[50] 马西,M。;普利斯,R。;Tiezzi,F.,基于IHE XUA的协议的安全实施,用于认证医疗专业人员,(ICIS.ICIS,LNCS,vol.5905(2009),Springer),55-70
[51] Gnesi,S。;普利斯,R。;Tiezzi,F.,《应用于金融案例研究的传感器方法》,《面向服务系统的严格软件工程》,LNCS,第6582卷(2011),Springer),698-718
[52] 拉帕杜拉,A。;普利斯,R。;Tiezzi,F.,《tcows:一种定时面向服务的演算》,《第四届计算机理论方面国际学术讨论会(ICTAC)会议录》,LNCS,第4711卷(2007),Springer),275-290·Zbl 1147.68846
[53] 拉帕杜拉,A。;普利斯,R。;Tiezzi,F.,服务发现和协商奶牛,(第三届网络系统自动化规范与验证国际研讨会(WWV)会刊,ENTCS(2008)第200(3)卷,爱思唯尔科学出版社,133-154
[54] 普兰迪,D。;夸利亚,P.,随机奶牛,(第五届面向服务计算国际会议(ICSOC)会刊,第五届面向服务计算国际会议(ICSOC),LNCS,第4749卷(2007),Springer),245-256
[55] 普兰迪,D。;夸利亚,P。;Zannone,N.,通过翻译成奶牛,(第十届国际协调模型与语言会议论文集(协调),第十届国际协调模型与语言会议论文集(协调),LNCS,第5052卷(2008),斯普林格,249-263
[56] 拉尼夫,C。;Zavattaro,G.,网络交易基础,(第八届软件科学与计算结构基础国际会议论文集),第八届软件科学与计算结构基础国际会议论文集,LNCS,第3441卷(2005),Springer),282-298·Zbl 1118.68335
[57] 拉尼夫,C。;Zavattaro,G.,工作中的web pi,(第一届可信全球计算国际研讨会(TGC)教授。第一届可信全球计算国际研讨会(TGC)教授,LNCS,第3705卷(2005),Springer),182-194·Zbl 1151.68539
[58] 马扎拉,M。;Lanese,I.,走向web服务组合的统一理论,(第三届web服务与形式化方法国际研讨会论文集),第三届网络服务与形式化方法国际研讨会论文集,LNCS,卷4184(2006),Springer),257-272
[59] 马扎拉,M。;Lucchi,R.,一个基于pi演算的语义WS-BPEL,J.洛格。代数程序,70,1,96-118(2006)·Zbl 1178.68367
[60] 巴特勒,M。;霍尔,C。;Ferreira,C.,《长期运行事务的跟踪语义》(25年交流顺序进程。25年交流顺序进程),LNCS,第3525卷(2005年),Springer),133-150·Zbl 1081.68644号
[61] 博莱尔,M。;布鲁尼,R。;凯尔斯,L。;德尼科拉,R。;拉内塞,I。;洛雷姆。;马丁斯,F。;蒙塔纳里,美国。;拉瓦拉,A。;桑吉奥吉,D。;瓦康塞洛斯,V。;Zavattaro,G.,SCC:以服务为中心的演算(第三届网络服务与形式化方法国际研讨会论文集),第三届网络服务与形式化方法国际研讨会论文集,LNCS,第4184卷(2006),Springer),38-57
[62] 博莱尔,M。;布鲁尼,R。;德尼科拉,R。;Loreti,M.,Sessions and pipelines for structured service programming(Sessions and pipelines for structured service programming),(第十届基于开放对象的分布式系统(FMOODS)形式方法国际会议论文集》,LNCS,第5051卷(2008),Springer),19-38
[63] 吉迪,C。;卢奇,R。;戈里里,R。;业务,N。;Zavattaro,G.,SOCK:面向服务计算的微积分(ICSOC.ICSOC,LNCS,vol.4294(2006),Springer),327-338
[64] (Wirsing,M.;Hölzl,M.M.,面向服务系统的严格软件工程——面向服务计算软件工程的SENSORIA项目结果。面向服务系统的严格软件工程——面向服务计算软件工程的SENSORIA项目结果,LNCS,第6582卷(2011年),斯普林格)
〔65〕 德尼科拉,R。;拉特拉,D。;拉富恩特,A。;洛雷蒂,M。;马格里,A。;马辛克,M。;莫里切塔,A。;普利斯,R。;蒂兹,F。;《自主系统的软件实现方法》,第71卷,SCENS《自主系统的集体设计方法》,第89卷,第98卷
[66] 塞萨里,L。;德尼科拉,R。;普利斯,R。;普维亚尼,M。;蒂兹,F。;Zambonelli,F.,形式化自主集成的适应模式,(组件软件的形式化方面-第10届国际研讨会,2013年FACS。组件软件的形式方面-第10届国际研讨会,FACS 2013,LNCS,第8348卷(2013年),Springer),100-118
[67] 卡布里,G。;卡波迪希,N。;塞萨里,L。;德尼科拉,R。;普利斯,R。;蒂兹,F。;Zambonelli,F.,SCEL中的自我表达和基于动态属性的集合,(利用正式方法的应用,验证和验证。掌握变化的技术——第六届国际研讨会,ISoLA 2014。利用形式化方法的应用,验证和验证。掌握变化的技术——第六届国际研讨会,ISoLA 2014,LNCS,卷8802(2014),Springer),147-163
[68] Cesari,L.,形成自主组合的适应模式,(FACS.FACS,LNCS,第8348卷(2013年),Springer),100-118
〔69〕 Bures,T.,《自主系统开发的生命周期:e-mobility展示》(SASOW(2013),IEEE),71-76
[70] 德尼科拉,R。;法拉利,G。;洛雷蒂,M。;Pugliese,R.,《基于语言的自主计算方法》(FMCO.FMCO,LNCS,vol.7542(2012),Springer),25-48
[71] 马格里,A。;普利斯,R。;Tiezzi,F.,《编程和管理自主计算系统的语言抽象》,(UIC/ATC(2013),IEEE),404-409
[72] Mayer,P.,《自主云:自愿对等云计算的愿景》,(SASOW(2013),IEEE),89-94
[73] 蒙塔纳里,美国。;普利斯,R。;Tiezzi,F.,用多个约束存储编程自主系统,(软件、服务和系统。软件、服务和系统,LNCS,第8950卷(2015),Springer),641-661·Zbl 1454.68126号
[74] 德尼科拉,R。;拉富恩特,A。;洛雷蒂,M。;莫里切塔,A。;普利斯,R。;塞尼,V。;Tiezzi,F.,编程和验证组件集成(从程序到系统。计算中的系统透视图-ETAPS研讨会,FPS 2014。从程序到系统。计算中的系统透视图-ETAPS研讨会,FPS 2014,LNCS,卷8415(2014),Springer),69-83·Zbl 1416.68051
[75] 马格里,A。;马西,M。;普利斯,R。;Tiezzi,F.,访问控制策略规范、分析和实施的严格框架,IEEE Trans。软。英语,45、1、2-33(2019年)
[76] 霍尔兹曼,G.J.,《模型检查器自旋》,IEEE Trans。软。工程学,23,5,279-295(1997)
[77] 克莱维尔,M。;杜尔夫。;埃克尔,S。;林肯,P。;马蒂奥利特,N。;梅斯格尔,J。;Talcott,C.L.,All About Maude,LNCS,第4350卷(2007年),斯普林格
[78] 塞巴斯蒂奥,S。;Vandin,A.,MultiVeStA:离散事件模拟器的统计模型检验,(ValueTools,ICST/ACM(2013)),310-315
[79] 贝尔兹纳,L。;德尼科拉,R。;范丁,A。;Wirsing,M.,《重写逻辑中的推理(on)服务组件集成》,(规范、代数和软件。规范、代数和软件,LNCS,卷8373(2014),Springer),188-211
[80] 德菲,E。;较小,V。;Corkill,D.D.,《协作分布式问题解决的趋势》,IEEE Trans。知道。数据工程,1,1,63-83(1989)
[81] 克鲁斯,M。;Gerber,A.,《理性智能体之间的动态联盟形成》,IEEE Intell。系统,17,3,42-47(2002)
[82] 赞博内利,F。;欧米西尼,A.,《面向代理软件工程的挑战与研究方向》,Auton。《多智能体系统》,9,3,253-283(2004)
[83] 麦金利,P。;萨贾迪,S。;卡斯滕,E。;程伯华,编著自适应软体,电脑,37,7,56-64(2004)
[84] 《语言学家》第1035卷,Maatw,第8卷
[85] 波迪尼,R.H。;Hübner,J.F。;Vieira,R.,Jason and the golden fleece of agent-oriented programming(多智能体编程、多智能体系统、人工社会和模拟组织),第15卷(2005),Springer),3-37
[86] Winikoff,M.,JACKtm智能代理:一个工业实力平台,(多智能体编程、多智能体系统、人工社会和模拟组织,第15卷(2005年),Springer),175-193
[87] 贝利费明,F.L。;凯尔,G。;Greenwood,D.,用JADE开发多智能体系统,Wiley系列智能体技术(2007),John Wiley&Sons
[88] Dastani,M.,2APL:一种实用的代理编程语言,Auton。Agents Multi-Agent系统,16,3,214-248(2008年)
[89] 莫托拉,L。;《逻辑邻域:无线传感器网络的编程抽象》(DCOSS.DCOSS,LNCS,vol.4026(2006),Springer),150-168
[90] 科斯塔,P。;莫托拉,L。;墨菲,A.L。;Picco,G.,Tuple space middleware for wireless networks(Tuple space middleware for wireless networks),《网络偏心和移动应用中间件》(2009),Springer),245-264
[91] 马梅,M。;编程普及和移动计算应用:tota方法,ACM Trans。软。《工程方法学》,18,4,15:1-15:56(2009)
[92] 诺德斯特伦,E。;冈宁伯格,P。;Rohner,C.,移动设备的基于搜索的网络架构(2009),乌普萨拉大学,计算机系统,技术报告2009-003
[93] 莫托拉,L。;《无线传感器网络中间件:展望》,互联网服务杂志。申请书,3,1,31-39(2012年)
[94] NIST,访问控制模型调查(2009)
[95] Agha,G.A.,ACTORS——分布式系统中并发计算的模型,麻省理工学院人工智能出版社(1990),麻省理工学院出版社
[96] 米尔纳,R.,通信与并发,计算机科学中的PHI系列(1989),普伦蒂斯霍尔·Zbl 0683.68008
[97] 班特,J.-P。;拉德纳克,Y。;Fradet,P.,《自主系统的化学规范》,(IASSE(2004),ISCA),72-79
[98] 安德烈,O。;Kirchner,H.,自主计算的高阶图演算,(图论,计算智能和思想(2009),Springer),15-26·Zbl 1194.68117
[99] 梅塞蒂,N。;Sangiorgi,D.,无线系统微积分,电子。理论笔记。计算机。科学,158331-353(2006)·Zbl 1273.68264
[100] 辛格,A。;罗摩克里希南,C.R。;Smolka,S.A.,移动自组织网络的过程演算,Sci。计算机。程序,75,6,440-469(2010年)·Zbl 1192.68451
[101] (Wirsing,M.;Hölzl,M.M.;Koch,N.;Mayer,P.《集体自主系统的软件工程——ASCENS方法》。集体自主系统的软件工程——ASCENS方法》,LNCS,第8998卷(2015年),斯普林格)
[102] Ferscha,A.,集体适应系统,(UbiComp/ISWC(2015),ACM),893-895
[103] 《基于属性的演算》(184-2015),Abd-15,属性演算
[104] 阿拉曼,纽约州。;德尼科拉,R。;Loreti,M.,《集体适应系统的微积分及其行为理论》,Inf.Comput.,268(2019年)·Zbl 1430.68158
[105] 《参与者:分布式系统中并发计算的模型》(1986),麻省理工学院出版社:麻省理工学院剑桥出版社,美国
[106] Prasad,K.V.S.,广播系统微积分,Sci。计算机。程序,25,2-3,285-327(1995)
[107号] 阿布德阿尔拉赫曼,Y。;德尼科拉,R。;Loreti,M.,依赖基于属性的通信的CAS系统编程,(ISoLA.ISoLA,LNCS,第9952卷(2016年),Springer),539-553
[108] 德尼科拉,R。;Duong,T。;逆时针,O。;Trubiani,C.,AErlang:Enhanding erlang with attribute-based communication(使用基于属性的通信来授权erlang),(协调,LNCS,第10319卷(2017年),Springer),21-39
[109号] 爱立信计算机科学实验室,Erlang编程语言(2018)
[110] 谷歌,Go编程语言(2018)
[111] Hoare,C.A.R.,通信顺序过程,通讯。ACM,21,8,666-677(1978年)·Zbl 0383.68028
[112] 阿布德阿尔拉赫曼,Y。;德尼科拉,R。;加比,G。;Loreti,M.,一个用于基于属性交互的分布式协调基础设施,(分布式对象、组件和系统的正式技术——第38届IFIP WG 6.1国际会议,FORTE 2018。分布式对象、组件和系统的正式技术——第38届IFIP WG 6.1国际会议,FORTE 2018,LNCS,第10854卷(2018),Springer),1-20
[113] 马格斯,B.M。;Sitaraman,R.K.,内容交付中的算法块,计算机。公社。第52-45版,2015年3月
[114] 德尼科拉,R。;Duong,T。;Loreti,M.,ABEL-基于属性通信编程的领域特定框架(协调模型和语言,协调2019。协调模型和语言,协调2019年,计算机科学课堂讲稿,第11533卷(2019年),Springer),111-128
[115] 德尼科拉,R。;Duong,T。;逆时针,O。;Mazzanti,F.,验证依赖于基于属性的通信的系统属性,(建模、测试、可信。建模、测试、可信,LNCS,第10500卷(2017年),Springer),169-190
[公元116年] 特比克,医学硕士。;范泰奇,A。;Gnesi,S。;Mazzanti,F.,抽象系统属性分析的基于状态/事件的模型检查方法,Sci。计算机。程序,76,2119-135(2011年)·Zbl 1213.68392
[117] Duong,T.,《基于属性的通信的编程和验证系统》(2019),GSSI-高等研究院,即将出版
[118] 本特森,J。;约翰逊,M。;帕罗,J。;Victor,B.,Psi calculi:a framework for mobile processes with normal data and logic,Log.Psi计算:一个移动进程的框架,具有标称数据和逻辑。方法计算。科学,7,1(2011)·Zbl 1213.68399
[119] 博格斯特伦,J。;黄,S。;约翰逊,M。;Raabjerg,P。;维克托,B。;波赫乔拉,Jï。;Parrow,J.,广播psi计算及其在无线协议中的应用,软件。系统。模型,14,1201-216(2015)
[120] Prasad,K.V.,广播系统微积分,Sci。计算机。程序,25,2285-327(1995)
〔121〕 Ene,C。;Muntean,T.,《通信系统的基于广播的演算》(并行和分布式处理研讨会,国际,第3卷(2001年),IEEE计算机学会),第30149b-30149b页
[122号] 鉴于威尔逊,T。;戈拉,D。;Jay,B.,并行模式演算(理论计算机科学(2010),Springer),244-258·Zbl 1198.68211
[123号] 约翰,M。;洛赛因,C。;尼伦,J。;Uhrmacher,A.M.,《带优先权的属性pi演算》,(计算系统生物学汇刊12(2010),Springer),13-76·Zbl 1275.92023
[124] 约翰,M。;洛赛因,C。;《计算系统中的π-250》,《计算系统中的π-250》,(NIE250)
[125] 布鲁尼,A。;现代人。;尼尔森,F。;Nielson,H.R.,Set pi:集合成员p-演算,(2015年IEEE第28届计算机安全基础研讨会(2015)),185-198
[126] 维戈,R。;尼尔森,F。;Riis Nielson,H.,《广播、拒绝服务和安全通信》(第十届综合形式方法国际会议(IFM'13)。第十届综合形式方法国际会议(IFM'13),LNCS,第7940卷(2013年)),410-427
[127号] 阿巴布,F。;Rutten,J.J.M.M.,《元件连接件的共同归纳演算》,(WADT.WADT,LNCS,第2755卷(2002),Springer),34-55·兹布1278.68200
[128] Sirjani,M。;莫瓦加尔,A。;沙利,A。;de Boer,F.S.,使用rebeca对反应系统进行建模和验证,Fundam。通知,63,4,385-410(2004年)·邮编:1082.68007
[129] 拜尔,C。;Sirjani,M。;阿巴布,F。;Rutten,J.J.M.M.,用约束自动机在reo中建模组件连接器,Sci。计算机。程序,61,2,75-113(2006)·Zbl 1105.68058
[130] 比尔,J。;Viroli,M.,聚合编程:从基础到应用,(SFM.SFM,LNCS,第9700卷(2016),Springer),233-260
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。