A Lock-Based STM Protocol That Satisfies Opacity and Progressiveness.
Damien ImbsMichel RaynalPublished in: OPODIS (2008)
Keyphrases
- locking protocol
- deadlock free
- transaction processing systems
- distributed databases
- concurrency control
- cryptographic protocols
- lightweight
- hierarchical data
- coloured petri nets
- formal analysis
- tcp ip
- communication protocols
- network protocols
- communication protocol
- concurrency control protocols
- key distribution
- short term memory
- elliptic curve
- file transfer
- neural network