Continuous clock amortization need not affect the precision of a clock synchronization algorithm

Observable clock synchronization extended abstract

PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing

Lower bounds for convergence function based clock synchronization

Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing

Specification and Implementation of the Universal TimeCoordinated Synchronization Unit (UTCSU)

Real-Time Systems - Special issue on global time in large scale distributed real-time systems, part III

Integrating External and Internal Clock Synchronization

Real-Time Systems - Special issue on global time in large scale distributed real-time systems, part II

Interval-based Clock Synchronization

Real-Time Systems - Special issue on global time in large scale distributed real-time systems, part II

Multistep Interactive Convergence: An Efficient Approach to the Fault-Tolerant Clock Synchronization of Large Multicomputers

IEEE Transactions on Parallel and Distributed Systems

Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms

IEEE Transactions on Software Engineering

Stability of long-lived consensus (extended abstract)

Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing

Stability of long-lived consensus

Journal of Computer and System Sciences

A Timeout-Based Message Ordering Protocol for a Lightweight Software Implementation of TMR Systems

IEEE Transactions on Parallel and Distributed Systems

Feedback-Based Synchronization in System Area Networks for Cluster Computing

IEEE Transactions on Parallel and Distributed Systems

Combination of clock-state and clock-rate correction in fault-tolerant distributed systems

Real-Time Systems

An algorithm for clock synchronization with the gradient property in sensor networks

Journal of Parallel and Distributed Computing

Modeling and verification of master/slave clock synchronization using hybrid automata and model-checking

ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering