Verifying Lock-Freedom Using Well-Founded Orders.

Robert Colvin Brijesh Dongol

Published in: ICTAC (2007)

Keyphrases

concurrency control
data model
model checking
total order
real world
data mining
computer vision
decision trees
digital libraries
expert systems
database management systems