Murgia, Maurizio
Murgia, Maurizio
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.007 secondi).
A Sound Up-to- n, δ Bisimilarity for PCTL
2022-01-01 Bartoletti, M.; Murgia, M.; Zunino, R.
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.
Sound approximate and asymptotic probabilistic bisimulations for PCTL
2023-01-01 Bartoletti, Massimo; Murgia, Maurizio; Zunino, Roberto
Verifying liquidity of recursive Bitcoin contracts
2022-01-01 Bartoletti, Massimo; Lande, Stefano; Murgia, Maurizio; Zunino, Roberto
| Titolo | Anno di pubblicazione | Autori Unitn | File |
|---|---|---|---|
| A Sound Up-to- n, δ Bisimilarity for PCTL | 1-gen-2022 | Murgia M.Zunino R. + | |
| 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. + | |
| Sound approximate and asymptotic probabilistic bisimulations for PCTL | 1-gen-2023 | Maurizio MurgiaRoberto Zunino + | |
| Verifying liquidity of recursive Bitcoin contracts | 1-gen-2022 | Murgia, MaurizioZunino, Roberto + |