Keyphrases
- commit protocols
- lightweight
- failure recovery
- root cause
- coloured petri nets
- network protocols
- distributed database systems
- formal analysis
- data sets
- distributed databases
- security protocols
- database
- cryptographic protocols
- communication protocols
- peer to peer
- failure detection
- key agreement protocol
- wireless sensor networks
- information systems
- file transfer