@article{lamport1990a,
author = {Lamport, Leslie},
title = {A Theorem on Atomicity in Distributed Algorithms},
year = {1990},
month = {August},
abstract = {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.},
url = {http://approjects.co.za/?big=en-us/research/publication/theorem-atomicity-distributed-algorithms/},
pages = {59-68},
journal = {Distributed Computing. Also appeared as SRC Research Report 28.},
volume = {4},
edition = {Distributed Computing. Also appeared as SRC Research Report 28.},
number = {2},
}