Distributed network protocols

@article{Segall1983DistributedNP,
  title={Distributed network protocols},
  author={Adrian Segall},
  journal={IEEE Trans. Information Theory},
  year={1983},
  volume={29},
  pages={23-34}
}
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. 

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 223 CITATIONS

VHDLA flexible simulator for distributed algorithms

  • Proceedings of the Fourth Mexican International Conference on Computer Science, 2003. ENC 2003.
  • 2003
VIEW 5 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

New models and algorithms for programmable networks

  • 2001 IEEE Open Architectures and Network Programming Proceedings. OPENARCH 2001 (Cat. No.01EX484)
  • 2001
VIEW 8 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

DS+: Reliable Distributed Snapshot Algorithm for Wireless Sensor Networks

  • Journal Comp. Netw. and Communic.
  • 2013
VIEW 7 EXCERPTS
CITES BACKGROUND & RESULTS
HIGHLY INFLUENCED

Using a distributed snapshot algorithm in wireless sensor networks

  • The Ninth IEEE Workshop on Future Trends of Distributed Computing Systems, 2003. FTDCS 2003. Proceedings.
  • 2003
VIEW 3 EXCERPTS
HIGHLY INFLUENCED

Flow-oriented protocols for scalable wireless networks

VIEW 3 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

1984
2019

CITATION STATISTICS

  • 16 Highly Influenced Citations