A diversified and correct-by-construction broadcast service

Vincent Rahli, Nicolas Schiper, Robbert van Renesse, Mark Bickford, Robert L. Constable. A diversified and correct-by-construction broadcast service. In 20th IEEE International Conference on Network Protocols, ICNP 2012, Austin, TX, USA, October 30 - Nov. 2, 2012. pages 1-6, IEEE, 2012. [doi]

@inproceedings{RahliSRBC12,
  title = {A diversified and correct-by-construction broadcast service},
  author = {Vincent Rahli and Nicolas Schiper and Robbert van Renesse and Mark Bickford and Robert L. Constable},
  year = {2012},
  doi = {10.1109/ICNP.2012.6459943},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICNP.2012.6459943},
  researchr = {https://researchr.org/publication/RahliSRBC12},
  cites = {0},
  citedby = {0},
  pages = {1-6},
  booktitle = {20th IEEE International Conference on Network Protocols, ICNP 2012, Austin, TX, USA, October 30 - Nov. 2, 2012},
  publisher = {IEEE},
  isbn = {978-1-4673-2445-8},
}