01650nam 2200481Ia 450 991070178110332120120515125108.0(CKB)5470000002420284(OCoLC)793652853(EXLCZ)99547000000242028420120515d2011 ua 0engurbn|||||||||txtrdacontentcrdamediacrrdacarrierCorrectness proof of a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs[electronic resource] /Mahyar R. MalekpourHampton, Va. :National Aeronautics and Space Administration, Langley Research Center,[2011]1 online resource (vi, 24 pages) illustrationsNASA/TM ;2011-217184Title from title screen (viewed on May 15, 2012)."October 2011."Includes bibliographical references (page 23).ClocksnasatSynchronismnasatProvingnasatStabilizationnasatMessagesnasatProtocol (computers)nasatClocks.Synchronism.Proving.Stabilization.Messages.Protocol (computers)Malekpour Mahyar R1394752Langley Research Center.GPOGPOBOOK9910701781103321Correctness proof of a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs3520892UNINA