M.F. Cowlishaw
IBM Systems Journal
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
M.F. Cowlishaw
IBM Systems Journal
A. Gupta, R. Gross, et al.
SPIE Advances in Semiconductors and Superconductors 1990
Pradip Bose
VTS 1998
Robert E. Donovan
INTERSPEECH - Eurospeech 2001