Distributed network protocols

@article{Segall1983DistributedNP,
  title={Distributed network protocols},
  author={A. Segall},
  journal={IEEE Trans. Inf. Theory},
  year={1983},
  volume={29},
  pages={23-34}
}
  • A. Segall
  • Published 1983
  • Computer Science
  • IEEE Trans. Inf. Theory
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. 
469 Citations
Directed Network Protocols
  • G. Tel
  • Computer Science
  • WDAG
  • 1987
A distributed shortest path protocol
Event driven topology broadcast without sequence numbers
Broadcasting Topology Information in Computer Networks
Adaptive Distributed Mutual Exclusion by Dynamic Topology Switching
...
1
2
3
4
5
...

References

SHOWING 1-6 OF 6 REFERENCES
A Failsafe Distributed Routing Protocol
Advances in Verifiable Fail-Safe Routing Procedures
  • A. Segall
  • Computer Science
  • IEEE Trans. Commun.
  • 1981
Optimal Distributed Routing for Virtual Line-Switched Data Networks
  • A. Segall
  • Computer Science
  • IEEE Trans. Commun.
  • 1979
Specification and Validation of Protocols
  • P. Merlin
  • Computer Science
  • IEEE Trans. Commun.
  • 1979
Resynch Procedures and a Fail-Safe Network Protocol
  • S. Finn
  • Computer Science
  • IEEE Trans. Commun.
  • 1979