Defining Correctness Conditions for Concurrent Objects in Multicore Architectures.

Brijesh Dongol John Derrick Lindsay Groves Graeme Smith

Published in: ECOOP (2015)

Keyphrases

moving objects
general purpose
sufficient conditions
data objects
databases
multimedia
spatial relations
spatial relationships
environmental conditions
memory management