Joseph Y. Halpern Aleta Ricciardi A knowledge-theoretic analysis of uniform distributed coordination and failure detectors. 223-236 2005 17 Distributed Computing 3 http://dx.doi.org/10.1007/s00446-004-0109-0 db/journals/dc/dc17.html#HalpernR05