DocumentCode
935946
Title
Distributed network protocols
Author
Segall, Adrian
Volume
29
Issue
1
fYear
1983
fDate
1/1/1983 12:00:00 AM
Firstpage
23
Lastpage
35
Abstract
A unified approach to the formal description and validation of several distributed protocols is presented. After introducing two basic protocols, a series of known and new protocols for connectivity test, shortest path, and path updating are described and validated. All protocols are extended to networks with changing topology.
Keywords
Distributed computing; Protocols; Communication channels; Communication networks; Communication system control; Computer networks; Joining processes; Microcomputers; Network topology; Protocols; Senior members; Testing;
fLanguage
English
Journal_Title
Information Theory, IEEE Transactions on
Publisher
ieee
ISSN
0018-9448
Type
jour
DOI
10.1109/TIT.1983.1056620
Filename
1056620
Link To Document