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]
@inproceedings{AntaGKN18,
title = {Formalizing and Implementing Distributed Ledger Objects},
author = {Antonio Fernández Anta and Chryssis Georgiou and Kishori M. Konwar and Nicolas C. Nicolaou},
year = {2018},
doi = {10.1007/978-3-030-05529-5_2},
url = {https://doi.org/10.1007/978-3-030-05529-5_2},
researchr = {https://researchr.org/publication/AntaGKN18},
cites = {0},
citedby = {0},
pages = {19-35},
booktitle = {Networked Systems - 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018, Revised Selected Papers},
editor = {Andreas Podelski and François Taïani},
volume = {11028},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-05529-5},
}