Preface to the special issue on Formal Approaches to Parallel and Distributed Systems 2018,Journal of Logical and Algebraic Methods in Programming

当前位置： X-MOL 学术 › J. Log. Algebr. Methods Program. › 论文详情

Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)

Preface to the special issue on Formal Approaches to Parallel and Distributed Systems 2018
Journal of Logical and Algebraic Methods in Programming ( IF 0.7 ) Pub Date : 2020-07-07 , DOI: 10.1016/j.jlamp.2020.100580
Frédéric Loulergue

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).

中文翻译：