Sfoglia per Autore GALLETTA, LETTERIO
Mostrati risultati da 1 a 3 di 3
A Minimal Core Calculus for Solidity Contracts
2019-01-01 Bartoletti, M.; Galletta, L.; Murgia, M.
A True Concurrent Model of Smart Contracts Executions
2020-01-01 Bartoletti, Massimo; Galletta, Letterio; Murgia, Maurizio
A theory of transaction parallelism in blockchains
2021-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 True Concurrent Model of Smart Contracts Executions | 1-gen-2020 | Bartoletti, Massimo; Galletta, Letterio; Murgia, Maurizio | |
A theory of transaction parallelism in blockchains | 1-gen-2021 | Bartoletti, Massimo; Galletta, Letterio; Murgia, Maurizio |
Mostrati risultati da 1 a 3 di 3
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile