Enhanced and Lock-Free Tendermint Blockchain Protocol.
Basem AssiriWazir Zada KhanPublished in: SmartIoT (2019)
Keyphrases
- locking protocol
- deadlock free
- concurrency control
- transaction processing systems
- distributed databases
- communication protocol
- real time
- formal analysis
- cryptographic protocols
- genetic algorithm
- database
- multi party
- mobile devices
- rfid systems
- hierarchical data
- provably secure
- databases
- protocol specification
- coloured petri nets