Correctness of the Chord Protocol (CROSBI ID 653432)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Marinkovivić, Bojan ; Ognjanović, Zoran ; Glavan, Paola ; Umek, Anton
engleski
Correctness of the Chord Protocol
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.
Chord Protocol ; Logic of Knowledge and Time
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
217-223.
2016.
objavljeno
10.1109/IIKI.2016.65
Podaci o matičnoj publikaciji
International Conference on Identication, Information and Knowledge in the Internet of Things - IIKI 2016
978-1-5090-5952-2
Podaci o skupu
Information and Knowledge in the Internet of Things - IIKI 2016
predavanje
20.10.2016-21.10.2016
Peking, Kina