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
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.