A True Concurrent Model of Smart Contracts Executions.

Massimo Bartoletti, Letterio Galletta, Maurizio Murgia

Browse the full Coordination paper archive.