Arun Viswanathan, Nancy Feldman, et al.
IEEE Communications Magazine
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
Conference paper
FPGA-based coprocessor for text string extraction
N.K. Ratha, A.K. Jain, et al.
Workshop CAMP 2000
Zohar Feldman, Avishai Mandelbaum
WSC 2010
Lixi Zhou, Jiaqing Chen, et al.
VLDB