Self-Stabilizing Distributed Clock Synch ronization Protocol for Arbitrary Digraphs

A report describes a self-stabilizing distributed clock synchronization protocol in the absence of faults in the system. It is focused on the distributed clock synchronization of an arbitrary, non-partitioned digraph ranging from fully connected to 1-connected networks of nodes, while allowing for differences in the network elements. The protocol does not rely on assumptions about the initial state of the system, other than the presence of at least one node, and no central clock or a centrally generated signal, pulse, or message is used.