Space-optimum Conflict-free Construction of 1-Writer 1-Reader Multivalued Atomic Variable

Space-efficient construction of buffer-optimal 1-writer 1-reader multivalued atomic variable

PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing

Nonatomic mutual exclusion with local spinning

Proceedings of the twenty-first annual symposium on Principles of distributed computing

Metastability in Asynchronous Wait-Free Protocols

IEEE Transactions on Computers

A challenge for atomicity verification

Science of Computer Programming

On space-optimality of buffer-based conflict-free constructions of 1-writer 1-reader multivalued atomic variables from safe bits

Journal of Parallel and Distributed Computing