Israel Cidon, Leonidas Georgiadis, et al.
IEEE/ACM Transactions on Networking
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
Elliot Linzer, M. Vetterli
Computing
Conference paper
An Arabic Slot Grammar parser
Michael C. McCord, Violetta Cavalli-Sforza
ACL 2007
Michael Ray, Yves C. Martin
Proceedings of SPIE - The International Society for Optical Engineering