DMCA

Formal Analysis Techniques for Gossiping Protocols (2007)

by Rena Bakhshi , Francois Bonnet , Wan Fokkink , Boudewijn Haverkort
Venue:ACM SIGOPS Oper. Syst. Rev.
Citations:15 - 4 self