A True Concurrent Model of Smart Contracts Executions

Massimo Bartoletti, Letterio Galletta, Maurizio Murgia. A True Concurrent Model of Smart Contracts Executions. In Simon Bliudze, Laura Bocchi, editors, Coordination Models and Languages - 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings. Volume 12134 of Lecture Notes in Computer Science, pages 243-260, Springer, 2020. [doi]

Authors

Massimo Bartoletti

This author has not been identified. Look up 'Massimo Bartoletti' in Google

Letterio Galletta

This author has not been identified. Look up 'Letterio Galletta' in Google

Maurizio Murgia

This author has not been identified. Look up 'Maurizio Murgia' in Google