Derivation of a Scalable Lock-Free Stack Algorithm

Lindsay Groves, Robert Colvin. Derivation of a Scalable Lock-Free Stack Algorithm. Electronic Notes in Theoretical Computer Science, 187:55-74, 2007. [doi]

Abstract

Abstract is missing.