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

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 Orléans, France on July 19th, 2020 in conjunction with the 2018 International Conference on High Perfo...

Full description

Saved in:
Bibliographic Details
Published inJournal of logical and algebraic methods in programming Vol. 116; p. 100580
Main Author Loulergue, Frédéric
Format Journal Article
LanguageEnglish
Published Elsevier Inc 01.11.2020
Subjects
Choregraphies
CPU-GPU heterogeneous systems
Distributed systems
Parallelism semantics
Synchronous and asynchronous communication
Synthesis
Parallelism semantics
CPU-GPU heterogeneous systems
Choregraphies
Synthesis
Distributed systems
Synchronous and asynchronous communication
Online AccessGet full text

Cover

More Information
Summary: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 Orléans, France on July 19th, 2020 in conjunction with the 2018 International Conference on High Performance Computing & Simulation (HPCS 2018).
ISSN:2352-2208
DOI:10.1016/j.jlamp.2020.100580