12 citations · 12 across the 2 of their papers we have counts for
3 papers
Correctness of the Chord Protocol
Bojan Marinković, Zoran Ognjanović, Paola Glavan +2
Internet of Things (IoT) can be seen as a cooperation of the various heterogeneous devices with limited performances, that participate in the same system. By they nature, these dev…
A Propositional Linear Time Logic with Time Flow Isomorphic to ω^2
Bojan Marinković, Zoran Ognjanović, Dragan Doder +1
Primarily guided with the idea to express zero-time transitions by means of temporal propositional language, we have developed a temporal logic where the time flow is isomorphic to…
Description of the Chord Protocol using ASMs Formalism
Bojan Marinković, Paola Glavan, Zoran Ognjanović
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…