Correctness of the Chord Protocol.
Bojan MarinkovicZoran OgnjanovicPaola GlavanAnton UmekPublished in: IIKI (2016)
Keyphrases
- correctness criterion
- coloured petri nets
- lightweight
- formal analysis
- low cost
- integrity constraints
- network protocols
- application layer
- distributed databases
- authentication protocol
- protocol specification
- concurrency control protocols
- tcp ip
- key distribution
- multi agent
- security analysis
- concurrency control
- cooperative