Transaction Calculus.

Published in: HASE (2008)

Keyphrases

database
computer algebra
concurrency control
algebraic structure
real world
information systems
transaction model
real numbers
real time database systems
payment scheme