Antonio Fernández Anta, Chryssis Georgiou, Kishori M. Konwar, Nicolas C. Nicolaou. Formalizing and Implementing Distributed Ledger Objects. In Andreas Podelski, François Taïani, editors, Networked Systems - 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018, Revised Selected Papers. Volume 11028 of Lecture Notes in Computer Science, pages 19-35, Springer, 2018. [doi]
Abstract is missing.