Transaction Calculus - (Invited Paper).

Published in: UTP (2008)

Keyphrases

invited paper
concurrency control
transaction processing
database
information systems
lecture notes
transaction management
transaction data
point of sale
neural network
computer science
recent advances
real time database systems