From sequential layers to distributed processes
From MaRDI portal
Publication:5348853
DOI10.1145/135419.135461zbMath1370.68317MaRDI 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
68W15: Distributed algorithms
Related Items
A principle for sequential reasoning about distributed algorithms, Layered reasoning for randomized distributed algorithms, Causing communication closure: safe program composition with reliable non-FIFO channels