A Scalable Lock-Free Stack Algorithm and its Verification.

Robert Colvin, Lindsay Groves

Browse the full SEFM paper archive.