Publication
IEEE Trans. Inf. Theory
Paper

Distributed Network Protocols

View publication

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. © 1983 IEEE

Date

Publication

IEEE Trans. Inf. Theory

Authors

Topics

Share