Authors: Marinković, Bojan 
Ognjanović, Zoran 
Glavan, Paola
Umek, Anton
Title: Correctness of the Chord Protocol
Journal: Proceedings - 2016 International Conference on Identification, Information and Knowledge in the Internet of Things, IIKI 2016
First page: 547
Last page: 552
Conference: 2016 International Conference on Identification, Information and Knowledge in the Internet of Things, IIKI 2016; Beijing; China; 20 October 2016 through 21 October 2016
Issue Date: 20-Oct-2016
Rank: M33
ISBN: 978-150905952-2
DOI: 10.1109/IIKI.2016.65
Abstract: 
The Chord protocol is one of the first, simplest and most popular overlay protocol. This paper describes the Chord protocol using the logic of time and knowledge. The formalization concerns Chord actions that maintain ring topology. We consider the case when the nodes are not allowed to fail or leave and prove the correctness with respect to it.
Publisher: IEEE
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

Page view(s)

21
checked on Nov 19, 2024

Google ScholarTM

Check

Altmetric

Altmetric


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