A formally verified algorithm for clock synchronization under a hybrid fault model
From MaRDI portal
Publication:5361422
DOI10.1145/197917.198115zbMath1373.68143OpenAlexW2171317417MaRDI QIDQ5361422
Publication date: 29 September 2017
Published in: Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing - PODC '94 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/197917.198115
Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15)
Related Items
Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems, Booting clock synchronization in partially synchronous systems with hybrid process and link failures, Synchronous consensus under hybrid process and link failures, Analysis of a clock synchronization protocol for wireless sensor networks