Research Catalog

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

Title
Correctness proof of a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs / Mahyar R. Malekpour.
Author
Malekpour, Mahyar R.
Publication
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [2011]

Available Online

https://purl.fdlp.gov/GPO/gpo22669

Details

Additional Authors
Langley Research Center.
Description
1 online resource (vi, 24 pages) : illustrations.
Series Statement
NASA/TM ; 2011-217184
Uniform Title
NASA technical memorandum ; 217184.
Subject
  • Clocks
  • Synchronism
  • Proving
  • Stabilization
  • Messages
  • Protocol (computers)
Note
  • Title from title screen (viewed on May 15, 2012).
  • "October 2011."
Bibliography (note)
  • Includes bibliographical references (page 23).
Call Number
GPO Internet NAS 1.15:2011-217184
OCLC
marcive793652853
Author
Malekpour, Mahyar R.
Title
Correctness proof of a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs / Mahyar R. Malekpour.
Publisher
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [2011]
Type of Content
text
Type of Medium
computer
Type of Carrier
online resource
Series
NASA/TM ; 2011-217184
NASA technical memorandum ; 217184.
Bibliography
Includes bibliographical references (page 23).
Funding
L-20066
534723.02.02.07.30
Connect to:
https://purl.fdlp.gov/GPO/gpo22669
Added Author
Langley Research Center.
Gpo Item No.
0830-D (online)
Sudoc No.
NAS 1.15:2011-217184
View in Legacy Catalog