A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is
2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC)
This report presents the mechanical verification of a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs in the absence of faults. This 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. The system under study is an arbitrary, nonpartitioned digraph ranging from fully connected to 1-connected networks of nodesdoi:10.1109/dasc.2012.6382444 fatcat:ozvofv4wdffgvblhvdishiyey4