×
叶希亚·阿卜杜·阿勒拉赫曼;洛科·德尼古拉;米歇尔·洛雷蒂

集体适应系统的微积分及其行为理论。 （英语） Zbl 1430.68158号

Inf.计算。 268，文章ID 104457，31 p.（2019）.
摘要：我们提出了一种过程演算，命名为抗体C，以基于属性的交流为基础，研究集体适应系统中交互的行为理论。安抗体C系统由一组并行组件组成，每个组件都具有一组属性。通信以隐式多播方式进行，组件之间的交互是通过考虑谓词对其属性所确定的“连接”来动态建立的。的结构操作语义抗体C基于标记的过渡系统也用于定义组件之间的相似性。标记的二相似性与倒刺同余完全一致，倒刺同余是通过依赖简单的基本可观察性和上下文闭包来定义的。引入的等价性用于研究抗体C在基于广播信道的交互的编码方面，并在不同抽象级别的系统描述之间建立形式化关系。

引用于5文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
68问题55 计算理论中的语义学

关键词：

集体自适应系统;基于属性的通信;进程演算;操作语义学;行为理论

软件：

CC-Pi公司
PDF格式BibTeX公司 XML格式引用
\textit{Y.Abd Alrahman}等人，《Inf.Compute》。268，文章ID 104457，31 p.（2019；Zbl 1430.68158）
全文： 内政部

参考文献：

[1] Ferscha，A.，集体自适应系统，（2015年ACM国际普适和普适计算联合会议的附属会议记录和2015年ACM可穿戴计算机国际研讨会（2015）的会议记录，ACM），893-895
[2] I.索默维尔。；克里夫·D·。；Calinescu，R。；Keen，J。；Kelly，T。；Kwiatkowska，M。；Mcdermid，J。；Paige，R.，大型复杂it系统，Commun。ACM，55、7、71-77（2012）
[3] 米尔纳，R。；帕罗，J。；Walker，D.，《移动进程演算》，ii，Inf.Compute。，100, 1, 41-77 (1992) ·Zbl 0752.68037号
[4] Prasad，K.，广播系统微积分，（TAPSOFT’91（1991），施普林格），338-358
[5] 本特森，J。；约翰逊，M。；帕罗，J。；Victor，B.，《Psi-calculi：具有标称数据和逻辑的移动进程框架》，Log。方法计算。科学。，7, 1 (2011) ·Zbl 1213.68399号
[6] Wischik，L。；Gardner，P.，《显式融合》，Theor。计算。科学。，340, 3, 606-630 (2005) ·Zbl 1077.68066号
[7] 萨拉斯瓦特，V.A。；Rinard，M.C.，并发约束编程，（第十七届美国计算机学会编程语言原理研讨会会议记录，第十七届ACM编程语言原理会议记录，1990年1月，美国加利福尼亚州旧金山），232-245
[8] 吉尔伯特·D·R。；Palamidessi，C.，《具有过程移动性的并发约束编程》，（计算逻辑-CL 2000，第一届国际会议论文集。计算逻辑-CL 2000，第一届国际会议文献集，英国伦敦，2000年7月24日至28日（2000）），463-477·Zbl 0983.68617号
[9] Buscemi，M.G。；Montanari，U.，Cc-pi：一种基于约束的语言，用于指定服务级别协议， （《编程语言和系统》，第16届欧洲编程研讨会论文集，2007年ESOP，作为欧洲软件理论与实践联合会议的一部分举行。《编程语言与系统》，2007年第十六届欧洲编程会议论文集，ESOP，2007年，作为欧洲理论与实践联席会议的一个部分举行2007年3月24日至4月1日（2007年），葡萄牙布拉加，ETAPS 2007，软件与实践·Zbl 1187.68063号
[10] Agha，G.，《参与者：分布式系统中并发计算的模型》（Actors:A Model of Concurrent Computing in Distributed Systems）（1986），麻省理工学院出版社：麻省理学院出版社，美国马萨诸塞州剑桥
[11] Ene，C.公司。；Muntean，T.，基于广播的通信系统演算，（并行和分布式处理研讨会，国际，第3卷（2001），IEEE计算机学会），30149b
[12] Alrahman，Y.A。；德尼古拉，R。；Loreti，M.，《论基于属性的通信的力量》，（分布式对象、组件和系统的形式化技术-第36届IFIP国际会议，FORTE（2016），施普林格），1-18，完整的技术报告可在·Zbl 1347.68022号
[13] Alrahman，Y.A。；德尼古拉，R。；Loreti，M.，通过依赖基于属性的通信对集体自适应系统的交互进行编程，电子打印
[14] 安格鲁因，D。；阿斯普内斯，J。；迪亚马迪，Z。；费舍尔，M.J。；Peralta，R.，《被动移动有限状态传感器网络中的计算》，《分布式计算》。，18, 4, 235-253 (2006) ·Zbl 1266.68042号
[15] 博雷尔，M。；德尼古拉，R。；Pugliese，R.，过程的基本观测值，Inf.Comput。，149, 1, 77-98 (1999) ·Zbl 0928.68013号
[16] 米尔纳，R。；Sangiorgi，D.，Barbed bisimulation，（自动化，语言与编程（1992），Springer），685-695·Zbl 1425.68298号
[17] 本田，K。；Yoshida，N.，《基于简化的过程语义》，Theor。计算。科学。，151, 2, 437-486 (1995) ·Zbl 0871.68122号
[18] Sangiorgi，D。；Walker，D.，《pi-Calculus:移动过程理论》（2003），剑桥大学出版社
[19] Milner，R.，《通信与并发》（1989），Prentice-Hall公司·Zbl 0683.68008号
[20] Milner，R.，《通信系统微积分》（1980），施普林格·Zbl 0452.68027号
[21] Borgsteröm，J。；黄，S。；约翰逊，M。；Raabjerg，P。；维克多，B。；波乔拉（J.O.Pohjola）。；Parrow，J.，《广播psi-calculi与无线协议应用》，Softw。系统。型号。，14, 1, 201-216 (2015)
[22] Agha，G。；Callsen，C.J.，《ActorSpace:开放分布式编程范式》，第28卷（1993），ACM
[23] 节流阀，G.V。；凯达尔，I。；Vitenberg，R.，《群组通信规范：综合研究》，ACM Compute。（CSUR），33，4，427-469（2001）
[24] 霍尔布鲁克，H.W。；Cheriton，D.R.，《Ip多播频道：对大规模单源应用程序的明确支持》，ACM SIGCOMM Computer Communication Review，29，65-78（1999）
[25] M.A.Bass，F.T.Nguyen，本地和远程出版目的地的统一发布和订阅模式，美国专利6405266（2002年6月11日）。；M.A.Bass，F.T.Nguyen，《本地和远程出版目的地的统一发布和订阅模式》，美国专利6405266（2002年6月11日）。
[26] 尤格斯特，P.T。；Felber，P.A。；Guerraoui，R。；Kermarrec，A.-M.，《发布/订阅的多方面》，ACM Compute。调查。，35, 2, 114-131 (2003)
[27] Given-Wilson，T.，通过内涵和并发实现表达，（计算的理论方面——2014年ICTAC——第十一届国际学术讨论会论文集。计算的理论层面——2014年ITCAC——第11届国际学术会议论文集，罗马尼亚布加勒斯特，2014年9月17日至19日（2014年）），206-223·Zbl 1432.68307号
[28] Gorla，D.，《过程计算可编码性和分离结果的统一方法》，Inf.Comput。，208, 9, 1031-1053 (2010) ·Zbl 1209.68336号
[29] M.阿巴迪。；布兰切特，B。；Fournet，C.，The applied pi calculation:mobile values，new names，and secure communication，J.ACM，65，1，Article 1 pp.（2018年）·Zbl 1426.68037号
[30] 阿尔拉赫曼，Y.A。；德尼古拉，R。；Garbi，G。；Loreti，M.，用于基于属性的交互的分布式协调基础设施， （分布式对象、组件和系统的形式化技术-第38届IFIP WG 6.1国际会议记录，FORTE 2018，作为第13届分布式计算技术国际联合会议的一部分举行。分布式对象、组件和系统的形式化技术-第38届IFIP WG 6.1国际会议记录2018年6月18日至21日在西班牙马德里举行的2018年FORTE国际会议，作为第13届国际分布式计算技术联合会会议的一部分
[31] Prasad，K.V.，广播系统微积分，科学。计算。程序。，25, 2, 285-327 (1995)
[32] Given-Wilson，T。；戈拉，D。；Jay，B.，并发模式演算，（理论计算机科学（2010），Springer），244-258·Zbl 1198.68211号
[33] 约翰·M。；侯赛因，C。；Niehren，J。；Uhrmacher，A.M.，《具有优先级的属性pi-calculus》（计算系统生物学学报第十二期（2010），施普林格出版社），13-76·Zbl 1275.92023号
[34] 约翰·M。；侯赛因，C。；Niehren，J.，祈使演算中的动态隔间，（系统生物学中的计算方法（2009），Springer），235-250
[35] 布鲁尼，A。；Mödersheim，S。；尼尔森，F。；Nielson，H.R.，Set-pi:集成员p-演算（2015 IEEE第28届计算机安全基础研讨会（2015）），185-198
[36] 维戈，R。；尼尔森，F。；Riis Nielson，H.，《广播、拒绝服务和安全通信》，（第十届综合形式方法国际会议，第十届国际综合形式方法会议，iFM’13。第十届综合正式方法国际会议。第十届综合形式方法国际会议，iFM’13，LNCS，第7940卷（2013），410-427
[37] Prasad，K.，《价值演算广播》（PARLE’93 Parallel Architectures and Languages Europe（1993），Springer），第391-402页
[38] Alrahman，Y.A。；佩雷利，G。；Piterman，N.，自适应系统的计算框架及其验证，CoRR
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。