Synthesizing Concurrency Control Components from Process Algebraic Specifications.
Edoardo BontàMarco BernardoJeff MageeJeff KramerPublished in: COORDINATION (2006)
Keyphrases
- concurrency control
- distributed databases
- distributed database systems
- database systems
- database management systems
- multidatabase systems
- object oriented database systems
- transaction processing
- concurrency control and recovery
- real time databases
- transaction management
- fine grained
- decision support system
- object oriented
- knowledge discovery
- data replication
- concurrency control protocols
- data mining
- database