An Approach to Preserve Protocol Consistency and Executability Across Updates.
Mahadevan SubramaniamParvathi ChundiPublished in: ICFEM (2004)
Keyphrases
- update propagation
- read only transactions
- replicated data
- replica control
- distributed databases
- update operations
- correctness criteria
- replicated databases
- distributed database systems
- lightweight
- database transactions
- coloured petri nets
- data availability
- consistency checking
- communication protocols
- group communication
- security protocols
- correctness criterion
- transaction processing
- distributed systems
- file transfer
- network protocols
- fault tolerance
- snapshot isolation
- multi agent
- protocol specification
- quality of service
- situation calculus
- constraint networks
- data replication
- reasoning about actions