The Affinity Entry Consistency Protocol.
Cristiana Bentes SeidelRicardo BianchiniClaudio Luis de AmorimPublished in: ICPP (1997)
Keyphrases
- replicated data
- lightweight
- pairwise
- network protocols
- distributed databases
- coloured petri nets
- formal analysis
- consistency checking
- update propagation
- concurrency control protocols
- cryptographic protocols
- security protocols
- genetic algorithm
- communication protocol
- key distribution
- multi party
- communication protocols
- group communication
- correctness criterion
- constraint networks
- distributed database systems
- distributed systems
- digital libraries