Sfoglia per Rivista
A theory of transaction parallelism in blockchains
2021-01-01 Bartoletti, Massimo; Galletta, Letterio; Murgia, Maurizio
Timed Session Types
2017-01-01 Bartoletti, Massimo; Cimoli, Tiziana; Murgia, Maurizio
Verifying liquidity of recursive Bitcoin contracts
2022-01-01 Bartoletti, Massimo; Lande, Stefano; Murgia, Maurizio; Zunino, Roberto
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A theory of transaction parallelism in blockchains | 1-gen-2021 | Bartoletti, Massimo; Galletta, Letterio; Murgia, Maurizio | |
Timed Session Types | 1-gen-2017 | Bartoletti, Massimo; Cimoli, Tiziana; Murgia, Maurizio | |
Verifying liquidity of recursive Bitcoin contracts | 1-gen-2022 | Bartoletti, Massimo; Lande, Stefano; Murgia, Maurizio; Zunino, Roberto |
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