Verification of Cache Coherence Protocols by Aggregation of Distributed Transactions.
Seungjoon ParkDavid L. DillPublished in: Theory Comput. Syst. (1998)
Keyphrases
- commit protocols
- concurrency control protocols
- distributed systems
- distributed databases
- distributed database systems
- multi agent
- cooperative
- model checking
- database replication
- transaction processing systems
- cryptographic protocols
- multi party
- database
- computer networks
- distributed environment
- communication protocols
- timing constraints
- real time databases
- transaction management
- rank aggregation
- formal verification
- real time systems
- fault tolerant
- database systems