Keyphrases
- database transactions
- transaction model
- locking protocol
- lightweight
- database
- concurrency control protocols
- correctness criterion
- transaction processing systems
- commit protocols
- multi layer
- deadlock free
- cryptographic protocols
- coloured petri nets
- correctness criteria
- formal analysis
- elliptic curve
- hybrid learning
- transaction processing
- distributed database systems
- peer to peer