Maurice Herlihy Sergio Rajsbaum The Decidability of Distributed Decision Tasks (Extended Abstract). 589-598 1997 conf/stoc/1997 STOC http://doi.acm.org/10.1145/258533.258652 db/conf/stoc/stoc1997.html#HerlihyR97