L'argomento e` "la corrispondenza tra contratti legali e smart contract della blockchain". Il parlamento Italiano ha approvato una legge [Legge nr 12, 11 Febbraio 2019] in cui c'e` scritto:
Art. 8-ter (Tecnologie basate su registri distribuiti e smart contract). – 1. Si definiscono “tecnologie basate ...
Pubblicato il: 02 dicembre 2020
Il laboratorio promuove la ricerca su Blockchain e sulle Nuove Tecnologia e il relativo trasferimento tecnologico.
Pubblicato il: 09 gennaio 2019
Tesi di laurea + tirocinio.
Pubblicato il: 24 gennaio 2018
Tesi di laurea triennale + tirocinio formativo
Pubblicato il: 24 gennaio 2018
Cosimo Laneve, Michael Lienhardt, Ka I Pun, Guillermo Román-Díez: Time Analysis of Actor Programs, March 2018 (with Michael Lienhardt, Ka I Pun, Guillermo Román-Díez)
Cosimo Laneve:A lightweight deadlock analysis for programs with threads and reentrant locks, January 2018. The extended ...
Pubblicato il: 24 gennaio 2018