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 in:Journal of logical and algebraic methods in programming 2020-11, Vol.116, p.100580, Article 100580
Main Author: Loulergue, Frédéric
Format: Article
Language:English
Subjects:
Choregraphies
CPU-GPU heterogeneous systems
Distributed systems
Parallelism semantics
Synchronous and asynchronous communication
Synthesis
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
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