Sfoglia per Autore
Mostrati risultati da 1 a 5 di 5
Contract-Oriented design of distributed applications: A tutorial
2017-01-01 Atzei, N.; Bartoletti, M.; Murgia, M.; Tuosto, E.; Zunino, R.
Renegotiation and recursion in bitcoin contracts
2020-01-01 Bartoletti, M.; Murgia, M.; Zunino, R.
Verifying liquidity of recursive Bitcoin contracts
2022-01-01 Bartoletti, Massimo; Lande, Stefano; Murgia, Maurizio; Zunino, Roberto
A Sound Up-to- n, δ Bisimilarity for PCTL
2022-01-01 Bartoletti, M.; Murgia, M.; Zunino, R.
Sound approximate and asymptotic probabilistic bisimulations for PCTL
2023-01-01 Bartoletti, Massimo; Murgia, Maurizio; Zunino, Roberto
Titolo | Anno di pubblicazione | Autori Unitn | File |
---|---|---|---|
Contract-Oriented design of distributed applications: A tutorial | 1-gen-2017 | Murgia M.Zunino R. + | |
Renegotiation and recursion in bitcoin contracts | 1-gen-2020 | Murgia M.Zunino R. + | |
Verifying liquidity of recursive Bitcoin contracts | 1-gen-2022 | Murgia, MaurizioZunino, Roberto + | |
A Sound Up-to- n, δ Bisimilarity for PCTL | 1-gen-2022 | Murgia M.Zunino R. + | |
Sound approximate and asymptotic probabilistic bisimulations for PCTL | 1-gen-2023 | Maurizio MurgiaRoberto Zunino + |
Mostrati risultati da 1 a 5 di 5
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