@inproceedings{inproceedings,
  author    = {Shi, Wei and Corriveau, Jean-Pierre},
  title     = {An executable model for a family of election algorithms},
  booktitle = {18th International Parallel and Distributed Processing Symposium, 2004. Proceedings.},
  address = {Santa Fe, NM, USA},
  year  = {2004},
  month = {04}
  DOI = {10.1109/IPDPS.2004.1303186}
}