Gregory Chockler, Nancy A. Lynch, Sayan Mitra, Joshua A. Tauber. Proving Atomicity: An Assertional Approach. In Pierre Fraigniaud, editor, Distributed Computing, 19th International Conference, DISC 2005, Cracow, Poland, September 26-29, 2005, Proceedings. Volume 3724 of Lecture Notes in Computer Science, pages 152-168, Springer, 2005. [doi]
Abstract is missing.