Distributed Network Protocols

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)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 1980
Accession Number
ADA087623

Entities

People

  • Adrian Segall

Organizations

  • Massachusetts Institute of Technology

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Algorithms
  • Communication Channels
  • Computations
  • Computers
  • Electrical Engineering
  • Failure Mode And Effect Analysis
  • Identities
  • Information Systems
  • Information Theory
  • Network Protocols
  • Network Topology
  • Networks
  • Notation
  • Numbers
  • Security
  • Validation
  • Voice Communications

Fields of Study

  • Computer science

Readers

  • Distributed Systems and Data Platform Development
  • Graph Algorithms and Convex Optimization.
  • Library and Information Science