Checking Linearizability of Concurrent Priority Queues.

Ahmed Bouajjani, Constantin Enea, Chao Wang

Browse the full CONCUR paper archive.