DC FieldValueLanguage
dc.contributor.authorMarinković, Bojanen_US
dc.contributor.authorOgnjanović, Zoranen_US
dc.contributor.authorGlavan, Paolaen_US
dc.contributor.authorUmek, Antonen_US
dc.date.accessioned2020-02-18T20:06:23Z-
dc.date.available2020-02-18T20:06:23Z-
dc.date.issued2016-10-20-
dc.identifier.isbn978-150905952-2-
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/11-
dc.description.abstractThe 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.en_US
dc.publisherIEEEen_US
dc.relationRepresentations of logical structures and formal languages and their application in computingen_US
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 educationen_US
dc.relation.ispartofProceedings - 2016 International Conference on Identification, Information and Knowledge in the Internet of Things, IIKI 2016en_US
dc.titleCorrectness of the Chord Protocolen_US
dc.typeConference Paperen_US
dc.relation.conference2016 International Conference on Identification, Information and Knowledge in the Internet of Things, IIKI 2016; Beijing; China; 20 October 2016 through 21 October 2016en_US
dc.identifier.doi10.1109/IIKI.2016.65-
dc.identifier.scopus2-s2.0-85050869020-
dc.relation.grantno174026en_US
dc.relation.grantno44006en_US
dc.relation.firstpage547-
dc.relation.lastpage552-
dc.description.rankM33-
item.openairetypeConference Paper-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.cerifentitytypePublications-
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

Page view(s)

78
checked on Apr 16, 2024

Google ScholarTM

Check

Altmetric

Altmetric


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