Maurice Herlihy, Sergio Rajsbaum. The Decidability of Distributed Decision Tasks (Extended Abstract). In STOC. pages 589-598, 1997. [doi]
@inproceedings{HerlihyR97, title = {The Decidability of Distributed Decision Tasks (Extended Abstract)}, author = {Maurice Herlihy and Sergio Rajsbaum}, year = {1997}, doi = {10.1145/258533.258652}, url = {http://doi.acm.org/10.1145/258533.258652}, researchr = {https://researchr.org/publication/HerlihyR97}, cites = {0}, citedby = {0}, pages = {589-598}, booktitle = {STOC}, }