Protocol Verification by Aggregation of Distributed Transactions.
Seungjoon ParkDavid L. DillPublished in: CAV (1996)
Keyphrases
- commit protocols
- concurrency control protocols
- lightweight
- cryptographic protocols
- distributed database systems
- formal analysis
- cooperative
- distributed systems
- protocol specification
- database transactions
- long lived
- multi agent
- distributed environment
- concurrent execution
- model checking
- formal proof
- transaction model
- real time database systems
- concurrency control
- distributed databases
- database
- group communication
- wide area network
- correctness criterion
- replicated data
- locking protocol
- peer to peer
- deadlock free
- communication protocol
- transaction processing
- fault tolerant
- integrity constraints
- mobile agents