MURGIA, MAURIZIO

MURGIA, MAURIZIO  

DIPARTIMENTO DI MATEMATICA ED INFORMATICA  

Mostra records
Risultati 1 - 11 di 11 (tempo di esecuzione: 0.013 secondi).
Titolo Data di pubblicazione Autore(i) Rivista Editore
Compliance and Subtyping in Timed Session Types 1-gen-2015 Bartoletti, Massimo; Cimoli, Tiziana; Murgia, Maurizio; Podda, ALESSANDRO SEBASTIAN; Pompianu, Livio - Springer
Contract-Oriented design of distributed applications: A tutorial 1-gen-2017 Atzei, N.; Bartoletti, M.; Murgia, M.; Tuosto, E.; Zunino, R. - River Publishers
A contract-oriented middleware 1-gen-2016 Bartoletti, Massimo; Cimoli, Tiziana; Murgia, Maurizio; Podda, ALESSANDRO SEBASTIAN; Pompianu, Livio - Springer
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
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
Progress-preserving refinements of CTA 1-gen-2018 Bartoletti, Massimo; Bocchi, Laura; Murgia, Maurizio - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Renegotiation and recursion in bitcoin contracts 1-gen-2020 Bartoletti, M.; Murgia, M.; Zunino, R. - Springer
Timed session types 1-gen-2017 Bartoletti, Massimo; Cimoli, Tiziana; Murgia, Maurizio LOGICAL METHODS IN COMPUTER SCIENCE -
A true concurrent model of smart contracts executions 1-gen-2020 Bartoletti, M.; Galletta, L.; Murgia, M. - Springer
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