Yao Qi, Raja Das, et al.
ISSTA 2009
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
Heinz Koeppl, Marc Hafner, et al.
BMC Bioinformatics
Conference paper
Automatic taxonomy generation: Issues and possibilities
Raghu Krishnapuram, Krishna Kummamuru
IFSA 2003
Frank R. Libsch, S.C. Lien
IBM J. Res. Dev