Khaled A.S. Abdel-Ghaffar
IEEE Trans. Inf. Theory
Paper
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. © 1983 IEEE
Related
Beomseok Nam, Henrique Andrade, et al.
ACM/IEEE SC 2006
Marshall W. Bern, Howard J. Karloff, et al.
Theoretical Computer Science
Ehud Altman, Kenneth R. Brown, et al.
PRX Quantum