Pregled bibliografske jedinice broj: 899567
Correctness of the Chord Protocol
Correctness of the Chord Protocol // Computer science and information systems, 17 (2020), 1; 141-160 (međunarodna recenzija, članak, znanstveni)
CROSBI ID: 899567 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Correctness of the Chord Protocol
Autori
Marinković, Bojan ; Ognjanović, Zoran ; Glavan, Paola ; Kos, Anton ; Umek, Anton
Izvornik
Computer science and information systems (1820-0214) 17
(2020), 1;
141-160
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
Chord ; logic of time and knowledge
Sažetak
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 devices can be very distributed. The core of every IoT system is its discovery and control service. The Chord protocol is one of the first, simplest and most popular distributed protocol and can be use as a backbone of the discovery and control services of an IoT system. In this paper we prove the correctness of the Chord protocol using the logic of time and knowledge. We consider Chord actions that maintain ring topology with the additional assumption the nodes are not allowed to fail or leave.
Izvorni jezik
Engleski
Znanstvena područja
Matematika, Računarstvo
Citiraj ovu publikaciju:
Časopis indeksira:
- Web of Science Core Collection (WoSCC)
- Science Citation Index Expanded (SCI-EXP)
- SCI-EXP, SSCI i/ili A&HCI
- Scopus
