Description of the Chord Protocol using ASMs Formalism
Distributed, Parallel, and Cluster Computing
2013-09-24 v2
Abstract
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.
Cite
@article{arxiv.1208.0712,
title = {Description of the Chord Protocol using ASMs Formalism},
author = {Bojan Marinković and Paola Glavan and Zoran Ognjanović},
journal= {arXiv preprint arXiv:1208.0712},
year = {2013}
}