Rena Bakhshi, François Bonnet, Wan Fokkink, Boudewijn R. Haverkort. Formal analysis techniques for gossiping protocols. Operating Systems Review, 41(5):28-36, 2007. [doi]
@article{BakhshiBFH07,
title = {Formal analysis techniques for gossiping protocols},
author = {Rena Bakhshi and François Bonnet and Wan Fokkink and Boudewijn R. Haverkort},
year = {2007},
doi = {10.1145/1317379.1317385},
url = {http://doi.acm.org/10.1145/1317379.1317385},
tags = {protocol, analysis},
researchr = {https://researchr.org/publication/BakhshiBFH07},
cites = {0},
citedby = {0},
journal = {Operating Systems Review},
volume = {41},
number = {5},
pages = {28-36},
}