A survey of provably correct fault-tolerant clock synchronization techniques
Ricky W. Butler · NASA Technical Reports Server (NASA) · 1988
Six provably correct fault-tolerant clock synchronization algorithms are examined. These algorithms are all presented in the same notation to permit easier comprehension and comparison. The advantages and disadvantages of the different techniques are examined and issues related to the implementation of these algorithms are discussed. The paper argues for the use of such algorithms in life-critical applications.