Preface to the special issue on formal approaches to parallel and distributed systems 2018

DOI10.1016/J.JLAMP.2020.100580MaRDI QIDQ2210865zbMATH OpenOpenAlexFDO

Authors

Publication date 9 November 2020

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlamp.2020.100580

zbMATH Keywords

choregraphiesCPU-GPU heterogeneous systemsdistributed systemsparallelism semanticssynchronous and asynchronous communicationsynthesis

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Special issue on parallel and distributed computing: editor's foreword
• Preface
• Preface
• Editorial -- special issue on concurrency theory (CONCUR 2018)
• Special issue on PODC 2018 and DISC 2018

Cites work

• A denotational semantics of textually aligned SPMD programs
• A modular framework for verifying versatile distributed systems
• Axiomatization and characterization of BSP algorithms
• From global choreographies to verifiable efficient distributed implementations
• Leveraging access mode declarations in a model for memory consistency in heterogeneous systems

Cited in

(1)

• Special issue on parallel and distributed computing: editor's foreword

This page was built for publication: Preface to the special issue on formal approaches to parallel and distributed systems 2018

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2210865)