Pregled bibliografske jedinice broj: 674458
Proving properties of the Chord protocol using the ASM formalism
Proving properties of the Chord protocol using the ASM formalism // Theoretical computer science 756, 756 (2019), 64-93 doi:10.1016/j.tcs.2018.10.025 (međunarodna recenzija, članak, znanstveni)
CROSBI ID: 674458 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Proving properties of the Chord protocol using the
ASM formalism
Autori
Marinković, Bojan ; Glavan, Paola ; Ognjanović, Zoran
Izvornik
Theoretical computer science 756 (0304-3975) 756
(2019);
64-93
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
peer-to-peer ; chord ; DHT-based overlay networks ; abstract state machines
Sažetak
This paper describes the overlay protocol Chord using the formalism of Abstract State Machines. The formalization concerns Chord actions that maintain ring topology and manipulate distributed keys. We define a class of runs and prove the correctness of our formalization with respect to it.
Izvorni jezik
Engleski
Znanstvena područja
Matematika, Računarstvo
POVEZANOST RADA
Projekti:
MZOS-120-1203164-3074 - Matematička logika i primjene (Šikić, Zvonimir, MZOS ) ( CroRIS)
Ustanove:
Fakultet strojarstva i brodogradnje, Zagreb
Profili:
Paola Glavan
(autor)
Citiraj ovu publikaciju:
Časopis indeksira:
- Current Contents Connect (CCC)
- Web of Science Core Collection (WoSCC)
- Science Citation Index Expanded (SCI-EXP)
- SCI-EXP, SSCI i/ili A&HCI
- Scopus
