Marinković, Bojan

Network Lab View Statistics Email Alert

Profile

Loading... 3 0 20 0 false
Full Name
Marinković, Bojan
ORCID
Scopus Author ID
Country
Serbia
Loading... 2 0 20 0 false

Publications


Refined By:
Subject:  Abstract state machines | Chord | DHT-based overlay networks | Formal description | Peer-to-Peer

Results 1-1 of 1 (Search time: 0.002 seconds).

Author(s)TitleIssue DateAppears inRank
1Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran Proving properties of the Chord protocol using the ASM formalism17-Jan-2019Theoretical Computer Science; 756; 64-93M23

Projects
(Co-Investigators)


Results 1-2 of 2 (Search time: 0.0 seconds).

AcronymTitleStart dateCompletionP-Investigator
PROJECT 174026Representations of logical structures and formal languages and their application in computing01-01-201131-12-2019Ghilezan, Silvia
PROJECT 144013Representations of logical structures and their application in computer science01-01-200631-12-2010Ognjanović, Zoran