Automatic Verification of Directory-Based Consistency Protocols.

Parosh Aziz Abdulla Giorgio Delzanno Ahmed Rezine

Published in: RP (2009)

Keyphrases

metadata
digital libraries
correctness criteria
database
data mining
database systems
relational databases
concurrency control protocols