On proving register atomicity

[1]  Bard Bloom,et al.  Constructing two-writer atomic registers , 1987, PODC '87.

[2]  Gary L. Peterson,et al.  Concurrent reading while writing II: The multi-writer case , 1987, 28th Annual Symposium on Foundations of Computer Science (sfcs 1987).

[3]  Baruch Awerbuch,et al.  Atomic shared register access by asynchronous hardware , 1986, 27th Annual Symposium on Foundations of Computer Science (sfcs 1986).

[4]  Paul M. B. Vitányi,et al.  Distributed match-making for processes in computer networks , 1986, OPSR.

[5]  Leslie Lamport,et al.  The mutual exclusion problem: part I—a theory of interprocess communication , 1986, JACM.

[6]  Gary L. Peterson,et al.  Concurrent Reading While Writing , 1983, TOPL.

[7]  Christos H. Papadimitriou,et al.  The serializability of concurrent database updates , 1979, JACM.