Formal analysis techniques for gossiping protocols (2007)

by R Bakhshi, F Bonnet, W Fokkink, B Haverkort
Venue:SIGOPS Oper. Syst. Rev