@inproceedings{258652,
 author = {Maurice Herlihy and Sergio Rajsbaum},
 title = {The decidability of distributed decision tasks (extended abstract)},
 booktitle = {Proceedings of the twenty-ninth annual ACM symposium on Theory of computing},
 year = {1997},
 isbn = {0-89791-888-6},
 pages = {589--598},
 location = {El Paso, Texas, United States},
 doi = {http://doi.acm.org/10.1145/258533.258652},
 publisher = {ACM Press},
 }