Formalizing Distributed Ledger Objects

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Fernández Anta, Antonio and Georgiou, Chryssis and Nicolaou, Nicolas

Journal title: 1st Workshop on Storage, Control, Networking in Dynamic Systems (SCNDS 2017), in conjunction with the 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2017)

Journal publisher: SSS

Published year: 2017