Title: A hardware implementation of a probably correct design of a fault-tolerant clock synchronization circuit
Subjects: Computer networks