Trace-based derivation of a scalable lock-free stack algorithm

Lindsay Groves, Robert Colvin. Trace-based derivation of a scalable lock-free stack algorithm. Formal Asp. Comput., 21(1-2):187-223, 2009. [doi]

Abstract

Abstract is missing.