Defining Correctness Conditions for Concurrent Objects in Multicore Architectures.

Brijesh Dongol, John Derrick, Lindsay Groves, Graeme Smith

Browse the full ECOOP paper archive.