A Theorem on Atomicity in Distributed Algorithms
Distributed Computing. Also appeared as SRC Research Report 28. | , Vol 4(2): pp. 59-68
This paper gives a reduction theorem for distributed algorithms (see the discussion of [83]). It includes what I believe to be the first reduction result for liveness properties.