Xiaozhu Kang, Hui Zhang, et al.
ICWS 2008
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
Hang-Yip Liu, Steffen Schulze, et al.
Proceedings of SPIE - The International Society for Optical Engineering
Ziyang Liu, Sivaramakrishnan Natarajan, et al.
VLDB
Paper
The Qx-coder
M.J. Slattery, Joan L. Mitchell
IBM J. Res. Dev