Proving correctness of highly-concurrent linearisable objects.

Viktor Vafeiadis Maurice Herlihy Tony Hoare Marc Shapiro

Published in: PPOPP (2006)

Keyphrases

real time
d objects
spatial relationships
multiple objects
neural network
real world
information retrieval
information systems
case study
object classes
multi object