• closedAccess   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 ...
    • closedAccess   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 ...