A tradeoff between safety and liveness for randomized coordinated attack protocols
From MaRDI portal
Publication:5348855
DOI10.1145/135419.135463zbMath1370.68025OpenAlexW2033097100MaRDI QIDQ5348855
George Varghese, Nancy A. Lynch
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.135463
Related Items
Synchronous consensus under hybrid process and link failures, Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds
