Rolf Clauberg
IBM J. Res. Dev
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
Rolf Clauberg
IBM J. Res. Dev
Hendrik F. Hamann
InterPACK 2013
Chi-Leung Wong, Zehra Sura, et al.
I-SPAN 2002
Preeti Malakar, Thomas George, et al.
SC 2012