MURGIA, MAURIZIO
MURGIA, MAURIZIO
DIPARTIMENTO DI MATEMATICA ED INFORMATICA
A true concurrent model of smart contracts executions
2020-01-01 Bartoletti, M.; Galletta, L.; Murgia, M.
Renegotiation and recursion in bitcoin contracts
2020-01-01 Bartoletti, M.; Murgia, M.; Zunino, R.
Progress-preserving refinements of CTA
2018-01-01 Bartoletti, Massimo; Bocchi, Laura; Murgia, Maurizio
Contract-Oriented design of distributed applications: A tutorial
2017-01-01 Atzei, N.; Bartoletti, M.; Murgia, M.; Tuosto, E.; Zunino, R.
Contract-oriented programming with timed session types
2017-01-01 Atzei, N.; Bartoletti, M.; Cimoli, T.; Lande, S.; Murgia, M.; Podda, A. S.; Pompianu, L.
Timed session types
2017-01-01 Bartoletti, Massimo; Cimoli, Tiziana; Murgia, Maurizio
Verifiable abstractions for contract-oriented systems
2017-01-01 Bartoletti, Massimo; Murgia, Maurizio; Scalas, Alceste; Zunino, Roberto
Verification of contract-oriented systems
2017-04-20
A contract-oriented middleware
2016-01-01 Bartoletti, Massimo; Cimoli, Tiziana; Murgia, Maurizio; Podda, ALESSANDRO SEBASTIAN; Pompianu, Livio
Compliance and Subtyping in Timed Session Types
2015-01-01 Bartoletti, Massimo; Cimoli, Tiziana; Murgia, Maurizio; Podda, ALESSANDRO SEBASTIAN; Pompianu, Livio
Modelling and verifying contract-oriented systems in Maude
2014-01-01 Bartoletti, Massimo; Murgia, Maurizio; Scalas, Alceste; Zunino, R.
| Titolo | Data di pubblicazione | Autore(i) | Rivista | Editore |
|---|---|---|---|---|
| A true concurrent model of smart contracts executions | 1-gen-2020 | Bartoletti, M.; Galletta, L.; Murgia, M. | - | Springer |
| Renegotiation and recursion in bitcoin contracts | 1-gen-2020 | Bartoletti, M.; Murgia, M.; Zunino, R. | - | Springer |
| Progress-preserving refinements of CTA | 1-gen-2018 | Bartoletti, Massimo; Bocchi, Laura; Murgia, Maurizio | - | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing |
| Contract-Oriented design of distributed applications: A tutorial | 1-gen-2017 | Atzei, N.; Bartoletti, M.; Murgia, M.; Tuosto, E.; Zunino, R. | - | River Publishers |
| Contract-oriented programming with timed session types | 1-gen-2017 | Atzei, N.; Bartoletti, M.; Cimoli, T.; Lande, S.; Murgia, M.; Podda, A. S.; Pompianu, L. | - | River Publishers |
| Timed session types | 1-gen-2017 | Bartoletti, Massimo; Cimoli, Tiziana; Murgia, Maurizio | LOGICAL METHODS IN COMPUTER SCIENCE | - |
| Verifiable abstractions for contract-oriented systems | 1-gen-2017 | Bartoletti, Massimo; Murgia, Maurizio; Scalas, Alceste; Zunino, Roberto | THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING | - |
| Verification of contract-oriented systems | 20-apr-2017 | - | - | Università degli Studi di Cagliari |
| A contract-oriented middleware | 1-gen-2016 | Bartoletti, Massimo; Cimoli, Tiziana; Murgia, Maurizio; Podda, ALESSANDRO SEBASTIAN; Pompianu, Livio | - | Springer |
| Compliance and Subtyping in Timed Session Types | 1-gen-2015 | Bartoletti, Massimo; Cimoli, Tiziana; Murgia, Maurizio; Podda, ALESSANDRO SEBASTIAN; Pompianu, Livio | - | Springer |
| Modelling and verifying contract-oriented systems in Maude | 1-gen-2014 | Bartoletti, Massimo; Murgia, Maurizio; Scalas, Alceste; Zunino, R. | LECTURE NOTES IN COMPUTER SCIENCE | Springer |