2 papers
cs.LO2017
Correctness of the Chord Protocol
Bojan Marinković, Zoran Ognjanović, Paola Glavan +2
Internet of Things (IoT) can be seen as a cooperation of the various heterogeneous devices with limited performances, that participate in the same system. By they nature, these dev…
cs.DC2012
Description of the Chord Protocol using ASMs Formalism
Bojan Marinković, Paola Glavan, Zoran Ognjanović
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…