A Dual-Consistency Cache Coherence Protocol.
Alberto RosAlexandra JimboreanPublished in: IPDPS (2015)
Keyphrases
- digital libraries
- lightweight
- replicated data
- coloured petri nets
- consistency checking
- communication protocol
- network protocols
- snapshot isolation
- correctness criteria
- formal analysis
- security protocols
- multi party
- database
- data dissemination
- cryptographic protocols
- concurrency control protocols
- correctness criterion
- primal dual
- distributed databases
- read only transactions
- neural network