A Concurrent Calculus with Atomic Transactions
Lucia AcciaiMichele BorealeSilvano Dal-ZilioPublished in: CoRR (2006)
Keyphrases
- concurrent execution
- read write
- database
- mutual exclusion
- real time
- automated deduction
- transactional data
- transaction management
- concurrency control
- database systems
- algebraic structure
- transaction processing
- transaction data
- distributed database systems
- nested transactions
- genetic algorithm
- natural deduction
- computer algebra
- databases