Weakening Correctness and Linearizability for Concurrent Objects on Multicore Processors.

Graeme Smith, Lindsay Groves

Browse the full FM paper archive.