TY  - RPRT
TI  - Synchronous Counting and Computational Algorithm Design
AU  - Danny Dolev
AU  - Keijo Heljanko
AU  - Matti Järvisalo
AU  - Janne H. Korhonen
AU  - Christoph Lenzen
AU  - Joel Rybicki
AU  - Jukka Suomela
AU  - Siert Wieringa
PY  - 2015
DO  - 10.1016/j.jcss.2015.09.002
UR  - https://arxiv.org/abs/1304.5719
ID  - 1304.5719
ER  -