| The Algorithms for Achieving Global States and Self-Stabilization for Communication Protocols |
| |
| 摘 要： | 1.INTRODUCTIONWiththerapiddevelopmentofhigh--speedlletworks,multimediacommunicatiollnetworksandmobilecomputernetworks,theissuerelatedtocommunicationprotocoldesignhasbeenmoreextensivelyattentionbymanypeople.Becausecommunicationprotocolsdealwithcomplexissuesrelatedtodistributionsucllascommllnication,concurrency,syllchronizationofmultimediaandcooperationofprocesses,theirdevelopmentneedstobetackledusingsophisticatedformalmethodl,2].Whellaprotocolisexecuted,thecooperationofdifferentprocessesin…
|
The Algorithms for Achieving Global States and Self-Stabilization for Communication Protocols |
| |
| Abstract: | This paper discusses the algorithms for achieving global states and self-stabilizationfor communication protocols. It first describes a primary algorithm including its suitability forachieving global states and limitation of self-stabilization for communication protocols, and thenpresents an improved algorithm that can be suitable to achieve global states and can be also usedto self-stabilizing communication protocols. Filially, it gives the proof of correctness and analysis ofcomplexity of the improved algorithm, and verifies its availability and efficiency by illustrating anexample protocol. |
| |
| Keywords: | Communication protocols Algorithm for achieving global states Self-stabilization Computer networks Multimedia communication networks |
|
|
