Transaction Calculus.

Published in: Petri Nets (2008)

Keyphrases

concurrency control
database
transaction processing
transaction data
transaction management
transaction model
databases
machine learning
information systems
distributed databases
real time database systems
natural deduction
computer algebra
point of sale