Loading...

A true concurrent model of smart contracts executions - Massimo Bartoletti, Letterio Galletta, Maurizio Murgia | Arena