Authors: Marinković, Bojan 
Glavan, Paola
Ognjanović, Zoran 
Title: Proving properties of the Chord protocol using the ASM formalism
Journal: Theoretical Computer Science
Volume: 756
First page: 64
Last page: 93
Issue Date: 17-Jan-2019
Rank: M23
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2018.10.025
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 minimal set of deterministic constraints and prove that they guarantee the stability of the topological structure of the network and the consistency of data handling.
Keywords: Abstract state machines | Chord | DHT-based overlay networks | Formal description | Peer-to-Peer
Publisher: Elsevier
Project: Representations of logical structures and formal languages and their application in computing 
Development of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education 

Show full item record


checked on Jun 15, 2024

Page view(s)

checked on May 9, 2024

Google ScholarTM




Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.