乔治·奥德里托;米尔科·维罗利;费卢西奥·达米亚尼;丹尼尔·皮亚尼尼;雅各布·比尔 计算场的高阶微积分。 （英语） Zbl 1407.68326号 ACM事务处理。计算。日志。 20，第1号，第5条，55页（2019年）. 引用于7文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：充分性;聚合编程;计算场;核心演算;完全抽象;空间计算;类型推理系统;类型稳健性 软件：NetLogo公司;KQML公司;变形杆菌属;轻量级Java;科莱姆 PDF格式BibTeX公司 XML格式引用 \textit{G.Audrito}等人，《美国医学杂志》。计算。日志。20，第1号，第5条，55页（2019年；Zbl 1407.68326） 全文： 内政部 arXiv公司 参考文献： [1] 乔治·奥德里托（Giorgio Audrito）、雅各布·比尔（Jacob Beal）、费鲁西奥·达米亚尼（Ferruccio Damiani）和米尔科·维罗利（Mirko Viroli）。2018.场微积分的时空普适性。《协调模型和语言学报》（Coordination’18），计算机科学讲义，第10852卷。斯普林格，1-20·Zbl 1534.68116号 [2] 乔治·奥德里托（Giorgio Audrito）、罗伯托·卡萨迪（Roberto Casadei）、费鲁西奥·达米亚尼（Ferruccio Damiani）和米尔科·维罗利（Mirko Viroli）。2017.最佳自愈梯度组合块。第11届IEEE自适应和自组织系统国际会议论文集。IEEE，91-100标准。 [3] 乔治·奥德里托（Giorgio Audrito）、费鲁西奥·达米亚尼（Ferruccio Damiani）和米尔科·维罗利（Mirko Viroli）。2017.通过有限的信息速度实现分布式梯度结构的最佳自我修复。《协调模型和语言学报》，《计算机科学讲义》，第10319卷。施普林格，59-77。 [4] 乔治·奥德里托（Giorgio Audrito）、费鲁西奥·达米亚尼（Ferruccio Damiani）和米尔科·维罗利（Mirko Viroli）。2018.基于梯度算法中的最优单路径信息传播。科学。计算。程序。166 (2018), 146-166. [5] Jos C.M.Baeten、Twan Basten、Twan Basten和M.A.Reniers。2010.过程代数：沟通过程的等式理论。第50卷。剑桥大学出版社·Zbl 1234.68001号 [6] 雅各布·比尔。2009.空间计算机的动态定义过程。空间计算研讨会论文集。IEEE，纽约州纽约市，206-211。 [7] 雅各布·比尔和乔纳森·巴赫拉赫。2006.传感器/执行器网络工程应急基础设施。IEEE智能。系统。第21、2页（2006年3月/4月），第10-19页。 [8] 雅各布·比尔（Jacob Beal）、斯特凡·杜尔曼（Stefan Dulman）、凯尔·乌斯贝克（Kyle Usbeck）、米尔科·维罗利（Mirko Viroli）和尼古拉·科雷尔（Nikolaus Correll）。2013.组织聚合：空间计算语言。《特定领域语言的形式和实践方面：最新发展》，Marjan Mernik（Ed.）。IGI Global，436-501。 [9] 雅各布·比尔（Jacob Beal）、达尼洛·皮亚尼尼（Danilo Pianini）和米尔科·维罗利（Mirko Viroli）。2015.物联网综合编程。IEEE计算。48, 9 (2015). ·Zbl 1534.68116号 [10] 雅各布·比尔和米尔科·维罗利。2014.自组织应用程序聚合编程的构建块。第八届IEEE自适应和自组织系统国际会议论文集。IEEE，8-13。 [11] 雅各布·比尔（Jacob Beal）、米尔科·维罗利（Mirko Viroli）、达尼洛·皮亚尼尼（Danilo Pianini）和费鲁西奥·达米亚尼（Ferruccio Damiani）。2016年，自适应定位计算系统中的设备分布变化。IEEE自适应和自组织系统会议记录（SASO’16）。IEEE计算机学会，60-69。 [12] 雅各布·比尔（Jacob Beal）、米尔科·维罗利（Mirko Viroli）、达尼洛·皮亚尼尼（Danilo Pianini）和费鲁西奥·达米亚尼（Ferruccio Damiani）。2017.物联网设备分发的自适应。ACM事务处理。自动。适应。系统。12，3（2017年9月），12:12:29·Zbl 1534.68116号 [13] Lorenzo Bettini、Viviana Bono、Rocco De Nicola、Gian Luigi Ferrari、Daniele Gorla、Michele Loreti、Eugenio Moggi、Rosario Pugliese、Emilio Tuosto和Betti Venneri。2003年。克莱姆项目：理论与实践。2003年全球计算学报，计算机科学讲稿，第2874卷。施普林格，88-150·Zbl 1179.68027号 [14] 威廉·布特拉。2002.可绘制计算机编程。博士论文。麻省理工学院，剑桥。 [15] 卢卡·卡德利和菲利普·加德纳。2010年，太空进程。《第六届欧洲可计算性会议论文集》，计算机科学讲义，第6158卷。施普林格，78-87·Zbl 1286.68345号 [16] 卢卡·卡德利和安德鲁·戈登。2000.移动环境。西奥。计算。科学。240，1（2000年6月），177-213·Zbl 0954.68108号 [17] 阿隆佐教堂。1932.逻辑基础的一套假设。安。数学。33, 2 (1932), 346-366. ·Zbl 0004.14507号 [18] 劳伦·克莱门特和拉迪卡·纳格帕尔。2003.自组装和自配对拓扑。《RoboCup澳大利亚公开赛多智能体系统适应性研讨会论文集》。 [19] 丹尼尔·库尔。1999.植物计算：在非晶计算机上生成互连拓扑的开发方法。博士论文。麻省理工学院，马萨诸塞州剑桥。 [20] 皮埃尔·卢伊斯·居里。2007.可定义性和完全抽象。选举人。理论注释。计算。科学。172 (2007), 301-310. ·Zbl 1277.68120号 [21] 路易斯·达马斯和罗宾·米尔纳。1982.功能程序的主要类型方案。程序设计语言原理研讨会论文集（POPL'82）。美国医学会，207-212年。 [22] 费鲁奇奥·达米亚尼和米尔科·维罗利。2015.计算领域基于类型的自我稳定。逻辑方法计算。科学。11，4（2015年12月）·Zbl 1448.68336号 [23] 费鲁西奥·达米亚尼（Ferruccio Damiani）、米尔科·维罗利（Mirko Viroli）和雅各布·比尔（Jacob Beal）。2016年，计算领域的典型演算。科学。计算。程序。117 (2016), 17-44. ·Zbl 1407.68326号 [24] 费鲁西奥·达米亚尼、米尔科·维罗利、达尼洛·皮亚尼尼和雅各布·比尔。2015.代码移动性满足自组织：计算域的高阶演算。《分布式对象、组件和系统的形式化技术学报》（FORTE’15），计算机科学讲稿，第9039卷。施普林格，113-128·Zbl 1407.68326号 [25] J.W.de Bakker和Jeffery I.Zucker。1982.并发的表示语义。第14届ACM计算机理论年会论文集。美国医学会，153-158·Zbl 0508.68011号 [26] 罗科·德·尼古拉（Rocco De Nicola）、吉安路易吉·费拉里（Gianluigi Ferrari）、米歇尔·洛雷蒂（Michele Loreti）和罗萨里奥·普格利泽（Rosario Pugliese）。2013年，基于语言的自主计算方法。《组件和对象形式化方法会议录》（FMCO'11），计算机科学讲义，第7542卷。施普林格，25-48岁。 [27] 杰弗里·迪恩（Jeffrey Dean）和桑杰·盖马沃特（Sanjay Ghemawat）。2008年。MapReduce：简化了大型集群的数据处理。Commun公司。ACM 51，1（2008），107-113。 [28] 何塞·路易斯·费尔南德斯·马尔克斯（Jose Luis Fernandez-Marquez）、乔瓦娜·迪·马尔佐·塞鲁根多（Giovanna Di Marzo Serugendo）、萨拉·蒙塔尼亚（Sara Montagna）、米尔科·维罗利（Mirko Viroli）和约塞普·利亚科斯（。2013.生物灵感设计模式的描述和组成：完整概述。自然计算。12, 1 (2013), 43-67. [29] 蒂姆·菲宁（Tim Finin）、理查德·弗里茨森（Richard Fritzson）、唐·麦凯（Don McKay）和罗宾·麦康蒂尔（Robin McEntire）。1994年，KQML作为代理通信语言。第三届信息和知识管理国际会议（CIKM'94）会议记录。美国医学会，456-463。 [30] 威廉·加萨奇（William I.Gasarch）。2015.证明程序使用基础良好的排序、拉姆齐定理和矩阵终止。高级计算。97 (2015), 147-200. [31] 大卫·盖伦特。1985年，琳达的创作交流。ACM事务处理。程序。语言系统。7, 1 (1985), 80-112. ·Zbl 0559.68030号 [32] Jean-Louis Giavitto、Christophe Godin、Olivier Michel和Przemyslaw Prusinkiewicz。2002年，综合生物学和发育生物学的计算模型。技术报告72-2002。拉密歇根州埃弗里大学。 [33] J.罗杰·辛德利。1997.基本简单类型理论。剑桥大学出版社·Zbl 0906.03012号 [34] Atsushi Igarashi、Benjamin C.Pierce和Philip Wadler。2001.Featherweight Java：Java和GJ的最小核心演算。ACM事务处理。程序。语言系统。23, 3 (2001), 396-450. [35] M.E.Inchiosa和M.T.Parker。2002.使用ASCAPE克服基于代理的建模中的设计和开发挑战。程序。国家。阿卡德。科学。《美国参考》99，3（2002），7304。 [36] 谢·库顿和波阿斯·帕特·沙米尔。1997年，时间自适应自稳定。美国计算机学会分布式计算原理研讨会论文集。美国医学会，149-158·Zbl 1373.68139号 [37] Frank C.H.Lin和Robert M.Keller。1987。梯度模型负载平衡方法。IEEE传输。柔和。《工程》13，1（1987），32-38。 [38] Samuel R.Madden、Robert Szewczyk、Michael J.Franklin和David Culler。2002.支持通过自组织无线传感器网络进行聚合查询。《移动计算和系统应用研讨会论文集》。电气与电子工程师协会。 [39] 马可·马梅（Marco Mamei）和弗兰科·赞博内利（Franco Zambonelli）。2009.编程普及和移动计算应用程序：TOTA方法。ACM事务处理。柔和。工程方法。18, 4 (2009), 1-56. ·Zbl 1087.68651号 [40] Jose Meseguer、Joseph A.Goguen和Gert Smolka。1989年，有序统一。J.符号。计算。8, 4 (1989), 383-413. ·Zbl 0691.0302号 [41] 2009年消息传递界面论坛。MPI:消息传递接口标准2.2版。消息传递接口论坛。 [42] 罗宾·米尔纳。1997年，标准ML的定义：修订。麻省理工学院出版社。 [43] 罗宾·米尔纳。2006.纯双图：结构和动力学。Inf.计算。204, 1 (2006), 60-122. ·Zbl 1093.68067号 [44] 拉迪卡·纳格帕。2001.可编程自我组装：使用生物启发的局部交互和折纸数学构建全局形状。博士论文。麻省理工学院，马萨诸塞州剑桥。 [45] 瑞恩·牛顿和马特·威尔士。2004.区域流：传感器网络的功能宏编程。传感器网络数据管理研讨会论文集。美国医学会，78-87。 [46] 西川由一（Yuichi Nishiwaki）。2016.Digamma-calculus:一种自稳定计算域的通用编程语言。IEEE自适应和自组织系统研讨会国际会议记录（eCAS’16）。电气与电子工程师协会。 [47] Atsushi Ohori，1989年。ML多态性的简单语义。第四届函数式编程语言与计算机体系结构国际会议论文集。美国医学会，281-292。 [48] C.-H.卢克·昂。1995.操作语义和指称语义之间的对应关系：PCF的完全抽象问题。计算机科学逻辑手册4（1995），269-356。 [49] 达尼洛·皮亚尼尼、萨拉·蒙塔格纳和米尔科·维罗利。2013年，与Alchemist进行面向化学的计算系统模拟。J.模拟。7, 3 (2013), 202-215. [50] 丹尼尔·皮亚尼尼（Danilo Pianini）、米尔科·维罗利（Mirko Viroli）和雅各布·比尔（Jacob Beal）。2015年，Protelis：实用聚合编程。2015年ACM应用计算研讨会论文集。美国医学会，1846-1853年。 [51] 伊丽莎白·斯科拉（Elizabeth Sklar）。2007年。NetLogo，一个多代理仿真环境。Artif公司。《生活》13，3（2007），303-311。 [52] 阿伦·斯托顿。1988.程序设计语言的完全抽象模型。皮特曼·Zbl 0702.68018号 [53] 米尔科·维罗利（Mirko Viroli）、乔治·奥德里托（Giorgio Audrito）、雅各布·比尔（Jacob Beal）、费鲁西奥·达米亚尼（Ferruccio Damiani）和达尼洛·皮亚尼尼（Danilo Pianini）。2018.通过自我稳定设计具有弹性的集体自适应系统。ACM事务处理。模型。计算。模拟。28, 2 (2018), 16:1-16:28. [54] 米尔科·维罗利（Mirko Viroli）、雅各布·比尔（Jacob Beal）、费鲁西奥·达米亚尼（Ferruccio Damiani）、乔治·奥德里托（Giorgio Audrito）、罗伯托·卡萨迪（Roberto Casadei）和达尼洛·皮亚尼尼。2018年，从基于现场的协调到聚合计算。《协调模型和语言学报》（Coordination’18），计算机科学讲义，第10852卷。施普林格，252-279·Zbl 1435.68049号 [55] 米尔科·维罗利（Mirko Viroli）、马泰奥·卡萨迪（Matteo Casadei）、萨拉·蒙塔格纳（Sara Montagna）和弗兰科·赞博内利（Franco Zambonelli）。2011.通过化学启发元组空间对普遍服务进行空间协调。ACM事务处理。自动。适应。系统。2011年6月2日，14:1-14:24。 [56] 米尔科·维罗利（Mirko Viroli）、费鲁西奥·达米亚尼（Ferruccio Damiani）和雅各布·比尔（Jacob Beal）。2013年，计算领域微积分。《面向服务和云计算进展论文集》（计算机和信息科学通信），第393卷。斯普林格，114-128·Zbl 1407.68326号 [57] 米尔科·维罗利（Mirko Viroli）、达尼洛·皮亚尼尼（Danilo Pianini）和雅各布·比尔（Jacob Beal）。2012.《时空中的琳达：移动自组织环境的自适应协调模型》。《协调模型和语言学报》（Coordination'12），计算机科学讲义，第7274卷。施普林格，212-229。 [58] 米尔科·维罗利（Mirko Viroli）、达尼洛·皮亚尼尼（Danilo Pianini）、萨拉·蒙塔格纳（Sara Montgna）、格雷姆·史蒂文森（Graeme Stevenson）和弗兰科·赞博内利（Franco Zambonelli）。2015年，普及服务生态系统的协调模型。科学。计算。程序。110 (2015), 3-22. [59] 卡明·怀特豪斯、科里·夏普、埃里克·布鲁尔和大卫·库勒。2004.Hood：传感器网络的邻域抽象。第二届移动系统、应用和服务国际会议论文集。ACM出版社。 [60] 格林·温斯克尔。1993年，《程序设计语言的形式语义——导论》。麻省理工学院出版社·Zbl 0919.68082号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。