A Quorum-Based Synchronization Protocol.
Tadateru OhkawaraAilixier AikebaierTomoya EnokidoMakoto TakizawaPublished in: BWCCA (2011)
Keyphrases
- distributed databases
- concurrency control protocols
- coloured petri nets
- interprocess communication
- lightweight
- network protocols
- communication protocol
- formal analysis
- data replication
- phase locked
- cryptographic protocols
- authentication protocol
- chaotic systems
- communication protocols
- fault tolerant
- protocol specification
- end to end
- data management
- neural network