A Concurrent Calculus with Atomic Transactions.

Lucia Acciai Michele Boreale Silvano Dal-Zilio

Published in: ESOP (2007)

Keyphrases

concurrent execution
database
transaction processing
transaction management
transactional data
read write
concurrency control
distributed database systems
automated deduction
computer algebra
database transactions
data sets
database systems
database management systems
nested transactions
algebraic structure