Taming Concurrency: A Program Verification Perspective.

Published in: CONCUR (2008)

Keyphrases

database systems
viewpoint
concurrency control
preprocessing
database
databases
data mining
computer vision
multi agent