Sign in
Transaction Calculus.
Jifeng He
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