Provable STM Properties: Leveraging Clock and Locks to Favor Commit and Early Abort.

Damien Imbs Michel Raynal

Published in: ICDCN (2009)

Keyphrases

concurrency control
response time
distributed database systems
real time
structural properties
desirable properties
high speed
database management systems
data sets
knowledge base
xml documents
management system