Browsing by Author "Konwar, Kishori"

Now showing items 1-2 of 2

    • 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 ...
    • Conference Object  

      Formalizing and Implementing Distributed Ledger Objects 

      Fernández Anta, Antonio; Georgiou, Chryssis; Konwar, Kishori; Nicolaou, Nicolas (Springer International Publishing, 2019)
      Despite the hype about blockchains and distributed ledgers, no formal abstraction of these objects has been proposed (This observation was also pointed out by Maurice Herlihy in his PODC2017 keynote talk). To face this ...