Accession Number:

ADA087623

Title:

Distributed Network Protocols

Descriptive Note:

Technical rept.

Corporate Author:

MASSACHUSETTS INST OF TECH CAMBRIDGE LAB FOR INFORMATION AND DECISION SYSTEMS

Personal Author(s):

Report Date:

1980-07-01

Pagination or Media Count:

54.0

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. Author

Subject Categories:

  • Computer Programming and Software
  • Non-Radio Communications

Distribution Statement:

APPROVED FOR PUBLIC RELEASE