Renegotiation and Recursion in Bitcoin Contracts

Massimo Bartoletti, Maurizio Murgia, Roberto Zunino. Renegotiation and Recursion in Bitcoin Contracts. 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 261-278, Springer, 2020. [doi]

Authors

Massimo Bartoletti

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

Maurizio Murgia

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

Roberto Zunino

This author has not been identified. Look up 'Roberto Zunino' in Google