Department of Computer Science, Colorado State University, Fort Collins, CO 80523, U.S.A.
Abstract:
We have proposed a self-stabilizing algorithm to synchronize multiple digital clocks in a distributed system; whenever any of the clock values gets out of synchronization for any reason, the algorithm is automatically invoked and the system is brought back to a legitimate state in finite time.