Formal Analysis Techniques for Gossiping Protocols (2007)

View PDF

Download Links

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