DC FieldValueLanguage
dc.contributor.authorMarinković, Bojanen_US
dc.contributor.authorGlavan, Paolaen_US
dc.contributor.authorOgnjanović, Zoranen_US
dc.date.accessioned2020-02-18T20:06:22Z-
dc.date.available2020-02-18T20:06:22Z-
dc.date.issued2019-01-17-
dc.identifier.issn0304-3975en
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/5-
dc.description.abstractThis 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 minimal set of deterministic constraints and prove that they guarantee the stability of the topological structure of the network and the consistency of data handling.en_US
dc.publisherElsevier-
dc.relationRepresentations of logical structures and formal languages and their application in computing-
dc.relationDevelopment of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education-
dc.relation.ispartofTheoretical Computer Scienceen
dc.subjectAbstract state machines | Chord | DHT-based overlay networks | Formal description | Peer-to-Peeren_US
dc.titleProving properties of the Chord protocol using the ASM formalismen_US
dc.typeArticleen_US
dc.identifier.doi10.1016/j.tcs.2018.10.025-
dc.identifier.scopus2-s2.0-85055467290-
dc.relation.grantno174026-
dc.relation.grantno44006-
dc.relation.firstpage64-
dc.relation.lastpage93-
dc.relation.volume756-
dc.description.rankM23-
item.cerifentitytypePublications-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.openairetypeArticle-
item.grantfulltextnone-
item.fulltextNo Fulltext-
crisitem.author.orcid0000-0002-9533-0330-
crisitem.author.orcid0000-0003-2508-6480-
crisitem.project.projectURLhttp://www.mi.sanu.ac.rs/novi_sajt/research/projects/174026e.php-
crisitem.project.projectURLhttp://www.mi.sanu.ac.rs/novi_sajt/research/projects/044006e.php-
crisitem.project.fundingProgramDirectorate for Social, Behavioral & Economic Sciences-
crisitem.project.fundingProgramNATIONAL HEART, LUNG, AND BLOOD INSTITUTE-
crisitem.project.openAireinfo:eu-repo/grantAgreement/NSF/Directorate for Social, Behavioral & Economic Sciences/1740267-
crisitem.project.openAireinfo:eu-repo/grantAgreement/NIH/NATIONAL HEART, LUNG, AND BLOOD INSTITUTE/5R01HL044006-04-
Show simple item record

SCOPUSTM   
Citations

3
checked on Nov 19, 2024

Page view(s)

20
checked on Nov 19, 2024

Google ScholarTM

Check

Altmetric

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.