Consistency verification in transaction-based optimistic steering of distributed computations.
Jinhua GuoPublished in: Int. J. Parallel Emergent Distributed Syst. (2006)
Keyphrases
- database
- cooperative
- distributed systems
- multi agent
- model checking
- distributed data
- long lived
- peer to peer
- concurrent execution
- update propagation
- transaction management
- consistency checking
- transaction processing
- optimistic concurrency control
- acid properties
- nested transactions
- formal analysis
- formal methods
- concurrency control
- distributed environment
- database systems
- databases