Xinyi Su, Guangyu He, et al.
Dianli Xitong Zidonghua/Automation of Electric Power Systems
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
Reena Elangovan, Shubham Jain, et al.
ACM TODAES
Conference paper
Compression for data archiving and backup revisited
Corneliu Constantinescu
SPIE Optical Engineering + Applications 2009
Maciel Zortea, Miguel Paredes, et al.
IGARSS 2021