From sequential layers to distributed processes
From MaRDI portal
Publication:5348853
DOI10.1145/135419.135461zbMath1370.68317OpenAlexW2020198681MaRDI QIDQ5348853
Publication date: 21 August 2017
Published in: Proceedings of the eleventh annual ACM symposium on Principles of distributed computing - PODC '92 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/135419.135461
Related Items (3)
Causing communication closure: safe program composition with reliable non-FIFO channels ⋮ A principle for sequential reasoning about distributed algorithms ⋮ Layered reasoning for randomized distributed algorithms
This page was built for publication: From sequential layers to distributed processes