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}, }