Visualitza Departament: Llenguatges i Sistemes Informàtics per autoria "6d0ea77f-dfd1-45ae-a963-48dd8887a9e0"
Ara mostrant els elements 1-3 d 3
-
A Methodological Construction of an Efficient Sequentially Consistent Distributed Shared Memory
Cholvi, Vicent; Fernández Anta, Antonio; Jiménez, Ernesto; Manzano, Pilar; raynal, michel Oxford University Press (2010)The paper proposes a simple protocol that ensures sequential consistency. The protocol assumes that the shared memory abstraction is supported by the local memories of nodes that can communicate only by exchanging messages ... -
Atomic Appends in Asynchronous Byzantine Distributed Ledgers
Cholvi, Vicent; Fernández Anta, Antonio; Georgiou, Chryssis; Nicolaou, Nicolas; raynal, michel; Russo, Antonio Elsevier (2023-12)A Distributed Ledger Object (DLO) is a concurrent object that maintains a totally ordered sequence of records. In this work we formalize a linearizable Byzantine-tolerant Distributed Ledger Object (BDLO), which is a ... -
Byzantine-Tolerant Distributed Grow-Only Sets: Specification and Applications
Cholvi, Vicent; Fernández Anta, Antonio; Georgiou, Chryssis; Nicolaou, Nicolas; raynal, michel; Russo, Antonio Schloss Dagstuhl Leibniz-Zentrum für Informatik GmbH (2021-06-26)In order to formalize Distributed Ledger Technologies and their interconnections, a recent line of research work has formulated the notion of Distributed Ledger Object (DLO), which is a concurrent object that maintains ...