Conference paper
A quantitative analysis of OS noise
Alessandro Morari, Roberto Gioiosa, et al.
IPDPS 2011
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
Alessandro Morari, Roberto Gioiosa, et al.
IPDPS 2011
Zohar Feldman, Avishai Mandelbaum
WSC 2010
Yao Qi, Raja Das, et al.
ISSTA 2009
Michael C. McCord, Violetta Cavalli-Sforza
ACL 2007