Pregled bibliografske jedinice broj: 899540
Correctness of the Chord Protocol
Correctness of the Chord Protocol // International Conference on Identication, Information and Knowledge in the Internet of Things - IIKI 2016
Peking, Kina, 2016. str. 217-223 doi:10.1109/IIKI.2016.65 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
CROSBI ID: 899540 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Correctness of the Chord Protocol
Autori
Marinkovivić, Bojan ; Ognjanović, Zoran ; Glavan, Paola ; Umek, Anton
Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni
Izvornik
International Conference on Identication, Information and Knowledge in the Internet of Things - IIKI 2016
/ - , 2016, 217-223
ISBN
978-1-5090-5952-2
Skup
Information and Knowledge in the Internet of Things - IIKI 2016
Mjesto i datum
Peking, Kina, 20.10.2016. - 21.10.2016
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
Chord Protocol ; Logic of Knowledge and Time
Sažetak
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.
Izvorni jezik
Engleski
Znanstvena područja
Matematika
