Verifying Compensating Transactions.

Michael Emmi Rupak Majumdar

Published in: VMCAI (2007)

Keyphrases

database
transactional data
model checking
database transactions
distributed database systems
transaction management
real time
databases
data mining
decision trees
concurrency control
transaction processing
read write
concurrent execution