米歇尔·博雷尔（编辑）；弗拉维奥·科拉迪尼（编辑）；米歇尔·洛雷蒂（编辑）；罗萨里奥·普格利泽（编辑） 并发和分布式编程的模型、语言和工具。在洛科·德·尼古拉65岁生日之际，为他撰写的论文。 （英语） Zbl 1416.68004号 计算机科学课堂讲稿11665.查姆：施普林格（ISBN 978-3-030-21484-5/pbk；978-3-0030-21485-2/电子书）。xiii，498页。(2019). 将索引文章显示为搜索结果。 对数学感兴趣的文章将单独复习。索引文章：乌戈·蒙塔纳里从托斯卡纳到苏格兰再回来。纪念洛科·德·尼古拉65岁生日，3-6岁[兹伯利07808771]卢卡·埃特罗（Luca Aceto）；Gianlorenzo D'Angelo；米歇尔·弗拉米尼；奥马尔·因弗索；卢多维科·爱奥维诺；卡蒂亚·特鲁比亚尼，以德尼古拉的方式在意大利建立计算机科学国际博士学校，7-12[Zbl 07808772号]马修·轩尼诗，常规流程必须测试预订单的等式特征，15-27[Zbl 07808773号]卢卡·埃特罗（Luca Aceto）；安东尼斯·阿契略斯；阿德里安·弗兰卡兰扎（Adrian Francalanza）；Anna Ingólfsdóttir；卡罗琳娜·莱赫蒂宁，测试等效性与运行时监控，28-44[Zbl 07808774号]罗布·范格拉贝克，流程的奖励测试等价物，45-70[Zbl 07808775号]伊凡·拉内斯；戴维·桑吉奥吉；吉安路易吉·扎瓦塔罗，在埃尔朗玩互模拟，71-91[Zbl 07808776号]马可·贝尔纳多，起源和进化ULTraS公司：元模型，元等效，元结果，92-111[Zbl 07808777号]Yehia Abd Alrahman；梅齐娜、克劳迪奥·安塔雷斯；雨果·托雷斯·维埃拉，协调保真度测试，152-169[Zbl 07808780号]罗伯托·布鲁尼；安德烈亚·科拉迪尼；法比奥·加杜奇（Fabio Gadducci）；埃尔南·梅尔格拉蒂；乌戈·蒙塔纳里；埃米利奥·托斯托，数据驱动的克拉姆舞蹈，170-190[Zbl 07808781号]格内西、斯特凡尼亚；莫里斯·比克。，来自正式方法和工具实验室的档案。公理化和情境化ACTL，219-235[Zbl 07808783号]鲁米亚纳内科娃；吉田、Nobuko，羽毛般的潦草，236-259[Zbl 07808784号]文森佐·西安西亚；迭戈·拉特拉；梅克·马西克，在集体空间逻辑CSLCS中嵌入RCC8D，260-277[Zbl 07808785号]亚历山德罗·范特奇；伊利·纳伊姆（Elie Najm）；Jean-Bernard斯特凡尼，从行为合同到会话类型，278-297[Zbl 07808786号]保罗·博托尼；丹尼尔·戈拉（Daniele Gorla）；斯特凡诺·卡桑吉安；安娜·拉布拉《合同的模态认知逻辑：一种理论方法》，298-314[Zbl 07808787号]查拉兰比德斯（Charalambides）、米纳斯（Minas）；卡尔·帕尔姆斯科格（Karl Palmskog）；古尔·阿加，演员项目进展类型，315-339[Zbl 07808788号]伊利亚州卡斯特拉尼；玛丽安吉拉·德扎尼·西安卡里尼（Dezani-Ciancaglini）；保拉·吉安尼尼，多方会话的事件结构语义，340-363[Zbl 07808789号]Wirsing，Martin；罗尔夫·亨尼克，移动、面向服务和集体自治系统建模的过程计算，367-387[Zbl 07808790号]博代，恰拉；皮耶保罗·德加诺（Pierpaolo Degano）；费拉里，吉安·路易吉；盖列塔，莱特里奥，静态显示KLAIM元组的轨迹，437-454[Zbl 07808794号]尼尔森，弗莱明；尼尔森、汉内·里斯，轻量级信息流，455-470[Zbl 07808795号]阿尔贝托·卢什·拉富恩特，种源-保存历史分布和增量减少的框架，471-486[兹伯利07808796]娜塔莎·费尔南德斯；卡塞姆·莱夫基；卡图西亚帕拉米德斯，用于计数查询的实用性保护隐私机制，487-495[Zbl 07808797号] 引用于8文件 MSC公司： 68-06 与计算机科学有关的论文集、会议、文集等 68甲19 其他编程范式（面向对象、顺序、并发、自动等） 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 00B25型 杂项特定利益的会议记录 00B30型 费斯特施里夫滕 传记参考文献： 洛科·德尼古拉 PDF格式BibTeX公司 XML格式引用 \textit{M.Boreale}（ed.）等人，并发和分布式编程的模型、语言和工具。在洛科·德·尼古拉65岁生日之际，为他撰写的论文。商会：施普林格（2019；兹比尔1416.68004） 全文： 内政部