Verification of FLASH Cache Coherence Protocol by Aggregation of Distributed Transactions.
Seungjoon ParkDavid L. DillPublished in: SPAA (1996)
Keyphrases
- concurrency control protocols
- lightweight
- commit protocols
- distributed systems
- cryptographic protocols
- distributed databases
- formal analysis
- database transactions
- long lived
- model checking
- model checker
- transaction model
- protocol specification
- concurrent execution
- wide area network
- databases
- multi party
- replicated data
- distributed database systems
- database
- distributed environment
- group communication
- data aggregation
- cooperative
- multi agent
- transaction processing
- communication protocols
- integrity constraints
- mobile agents
- colored petri nets
- formal proof
- locking protocol
- transaction processing systems
- transaction management