Pregled bibliografske jedinice broj: 1047366
Logical Framework for Proving the Correctness of Chord Protocol
Logical Framework for Proving the Correctness of Chord Protocol // Book of Abstracts of the 7th International Conference on Logic and. Applications - LAP 2018 / Ghilezan, S. ; Ognjanović, Zoran (ur.).
Dubrovnik, Hrvatska, 2018. str. 29-31 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
CROSBI ID: 1047366 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Logical Framework for Proving the Correctness of Chord Protocol
Autori
Marinković, Bojan ; Glavan, Paola ; Ognjanović, Zoran
Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni
Izvornik
Book of Abstracts of the 7th International Conference on Logic and. Applications - LAP 2018
/ Ghilezan, S. ; Ognjanović, Zoran - , 2018, 29-31
Skup
7th International Conference on Logic and. Applications (LAP 2018)
Mjesto i datum
Dubrovnik, Hrvatska, 24.09.2018. - 28.09.2018
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
Chord ; logic of time and knowledge
Sažetak
Correctness of Chord protocol is proven using the logic of time and knowledge.
Izvorni jezik
Engleski
Znanstvena područja
Matematika, Računarstvo
