Formal Analysis Techniques for Gossiping Protocols (2007)

Cached

Download Links

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