Browsing by Author "Anta, Antonio Fernández"
Now showing items 1-2 of 2
-
Conference Object
Brief Announcement: Implementing Byzantine Tolerant Distributed Ledger Objects
Cholvi, Vicent; Anta, Antonio Fernández; Georgiou, Chryssis; Nicolaou, Nicolas (Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, 2019)
-
Article
Formalizing and Implementing Distributed Ledger Objects
Anta, Antonio Fernández; Konwar, Kishori; Georgiou, Chryssis; Nicolaou, Nicolas (2018)Despite the hype about blockchains and distributed ledgers, formal abstractions of these objects are scarce1. To face this issue, in this paper we provide a proper formulation of a distributed ledger object. In brief, we ...