Description of the Chord Protocol using ASMs Formalism
Marinković, Bojan · Glavan, Paola · Ognjanović, Zoran
Original · EN
This paper describes the overlay protocol Chord using the formalism of Abstract State Machines. The formalization concerns Chord actions that maintain ring topology and manipulate distributed keys. We define a class of runs and prove the correctness of our formalization with respect to it.
English translation
This paper has no Arabic translation yet. Be the first: it takes a few seconds, and the result is stored for every future reader.