@misc{indiciae2ec75fed4a57,
  title = {Synchronous Counting and Computational Algorithm Design},
  author = {Danny Dolev and Keijo Heljanko and Matti Järvisalo and Janne H. Korhonen and Christoph Lenzen and Joel Rybicki and Jukka Suomela and Siert Wieringa},
  year = {2015},
  doi = {10.1016/j.jcss.2015.09.002},
  url = {https://arxiv.org/abs/1304.5719},
  note = {Source identifier: 1304.5719}
}