GALLETTA, LETTERIO
GALLETTA, LETTERIO
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.001 secondi).
A Minimal Core Calculus for Solidity Contracts
2019-01-01 Bartoletti, M.; Galletta, L.; Murgia, M.
A theory of transaction parallelism in blockchains
2021-01-01 Bartoletti, Massimo; Galletta, Letterio; Murgia, Maurizio
A True Concurrent Model of Smart Contracts Executions
2020-01-01 Bartoletti, Massimo; Galletta, Letterio; Murgia, Maurizio
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Minimal Core Calculus for Solidity Contracts | 1-gen-2019 | Bartoletti, M.; Galletta, L.; Murgia, M. | |
A theory of transaction parallelism in blockchains | 1-gen-2021 | Bartoletti, Massimo; Galletta, Letterio; Murgia, Maurizio | |
A True Concurrent Model of Smart Contracts Executions | 1-gen-2020 | Bartoletti, Massimo; Galletta, Letterio; Murgia, Maurizio |