Correctness proof of a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs /

Bibliographic Details

Main Author:	Malekpour, Mahyar R.
Corporate Author:	Langley Research Center
Format:	Government Document eBook
Language:	English
Published:	Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [2011]
Series:	NASA technical memorandum ; 217184.
Subjects:	Clocks. Synchronism. Proving. Stabilization. Messages. Protocol (computers)
Online Access:	https://purl.fdlp.gov/GPO/gpo22669