Synchronizing clocks in the presence of faults
From MaRDI portal
Publication:3766833
DOI10.1145/2455.2457zbMath0629.68025MaRDI QIDQ3766833
Leslie Lamport, P. Michael Melliar-Smith
Publication date: 1985
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2455.2457
68N25: Theory of operating systems
Related Items
On self-stabilizing wait-free clock synchronization, Time is not a healer, Using adaptive timeouts to achieve at-most-once message delivery, Hundreds of impossibility results for distributed computing, Dynamic FTSS in asynchronous systems: the case of unison, Gradient clock synchronization in dynamic networks, Combination of clock-state and clock-rate correction in fault-tolerant distributed systems, Probabilistic clock synchronization, Proving the correctness of client/server software, On the possibility and impossibility of achieving clock synchronization, A new fault-tolerant algorithm for clock synchronization, Clock synchronization and the power of broadcasting, Machine checked proofs of the design of a fault-tolerant circuit, Low-cost clock synchronization, Necessary and sufficient conditions for broadcast consensus protocols., Reliability versus cost: Design of a probabilistic broadcast algorithm, Self-adaptive clock synchronization for computational grid, Timed implementation relations for the distributed test architecture, Gradient clock synchronization, Verification of clock synchronization algorithms: experiments on a combination of deductive tools