Preface to the special issue on Formal Approaches to Parallel and Distributed Systems 2018

作     者：Loulergue, Frederic 

作者机构：No Arizona Univ Sch Informat Comp & Cyber Syst Flagstaff AZ 86011 USA Univ Orleans INSA Ctr Val Loire LIFO EA 4022 Orleans France 

出 版 物：《JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING》 (J. Logica. Algebraic Methods Program.)

年 卷 期：2020年第116卷

核心收录：

学科分类：08[工学] 0701[理学-数学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：I would like to thank all the authors who contributed to this special issue  the members of the Program Committee of 4PAD and several additional referees who helped the authors to improve their contributions through several rounds of reviews and revisions  and the support from the editors of JLAMP throughout the editorial process 

主　　题：Distributed systems Synchronous and asynchronous communication Choregraphies CPU-GPU heterogeneous systems Parallelism semantics Synthesis 

摘      要：This special issue contains extended versions of selected papers from the 5th International Symposium on Formal Approaches to Parallel and Distributed Systems (4PAD 2018). The symposium was held in Orleans, France on July 19th, 2020 in conjunction with the 2018 International Conference on High Performance Computing & Simulation (HPCS 2018). (C) 2020 Elsevier Inc. All rights reserved.