Frank R. Libsch, Takatoshi Tsujimura
Active Matrix Liquid Crystal Displays Technology and Applications 1997
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
David A. Selby
IBM J. Res. Dev
Charles H. Bennett, Aram W. Harrow, et al.
IEEE Trans. Inf. Theory
Elliot Linzer, M. Vetterli
Computing