Formal analysis techniques for gossiping protocols (0)

by Rena Bakhshi, François Bonnet, Wan Fokkink, Boudewijn R Haverkort
Venue:Operating Systems Review