弗雷德里克·卢勒格（编辑） 2018年关于并行和分布式系统正式方法的专刊前言。 （英语） Zbl 1462.68005号 J.日志。阿尔盖布。方法计划。 116，文章ID 100580，1页（2020年）. 摘要：本期特刊包含了第五届并行和分布式系统形式化方法国际研讨会（2018年第四届PAD）上选定论文的扩展版本。该研讨会于2020年7月19日在法国奥尔良举行，与2018年高性能计算与仿真国际会议（HPCS 2018）同时举行。 MSC公司： 68-06 与计算机科学有关的论文集、会议、文集等 第68季度10 计算模式（非确定性、并行、交互式、概率性等） 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 00B25型 杂项特定利益的会议记录 关键词：分布式系统；同步和异步通信；舞蹈；CPU-GPU异构系统；并行语义；合成 PDF格式BibTeX公司 XML格式引用 \textit{F.Loulergue}（编辑），J.Log。阿尔盖布。方法计划。116，文章ID 100580，1页（2020；Zbl 1462.68005） 全文： 内政部 参考文献： [1] 雪佛龙，F。；Huault，A。；Quéinnec，P.，《验证通用分布式系统的模块化框架》，J.Log。代数方法程序。，108, 24-46 (2019) ·Zbl 1435.68191号 [2] Dabrowski，F.，文本对齐SPMD程序的指称语义，J.Log。代数方法程序。，108, 90-104 (2019) ·Zbl 1435.68058号 [3] 马奎尔，Y。；Gava，F.，《BSP算法的公理化和特征化》，J.Log。代数方法程序。，第109条，第100479页（2019年）·Zbl 1435.68187号 [4] Henrio，L。；凯斯勒，C。；Li，L.，在异构系统的内存一致性模型中利用访问模式声明，J.Log。代数方法程序。，110，第100498条pp.（2020）·Zbl 1494.68043号 [5] Jaber，M。；法尔科内，Y。；阿蒂，P。；Khalil，A.-A。；哈拉尔，R。；El-Hokayem，A.，《从全球编舞到可验证的高效分布式实现》，J.Log。代数方法程序。，第100577条pp.（2020）·Zbl 1452.68125号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。