MURGIA, MAURIZIO
MURGIA, MAURIZIO
A Contract-Oriented Middleware
2016-01-01 Bartoletti, Massimo; Cimoli, Tiziana; Murgia, Maurizio; Podda, Alessandro Sebastian; Pompianu, Livio
A fixed-points based framework for compliance of behavioural contracts
2021-01-01 Murgia, Maurizio
A Minimal Core Calculus for Solidity Contracts
2019-01-01 Bartoletti, M.; Galletta, L.; Murgia, M.
A note on compliance relations and fixed points.?
2019-01-01 Murgia, M.
A Sound Up-to-$$n,\delta $$ Bisimilarity for PCTL
2022-01-01 Bartoletti, Massimo; Murgia, Maurizio; Zunino, Roberto
A theory of transaction parallelism in blockchains
2021-01-01 Bartoletti, Massimo; Galletta, Letterio; Murgia, Maurizio
A True Concurrent Model of Smart Contracts Executions
2020-01-01 Bartoletti, Massimo; Galletta, Letterio; Murgia, Maurizio
Asynchronous Timed Session Types: From Duality to Time-Sensitive Processes
2019-01-01 Bocchi, L.; Murgia, M.; Vasconcelos, V. T.; Yoshida, N.
Behavioural Types: from Theory to Tools
2017-01-01 Atzei, N.; Bartoletti, M.; Cimoli, T.; Lande, S.; Murgia, M.; Podda, A. S.; Pompianu, L.
Comparing perfomance abstractions for collective adaptive systems
2023-01-01 Murgia, Maurizio; Pinciroli, Riccardo; Trubiani, Catia; Tuosto, Emilio
Compliance and subtyping in timed session types
2015-01-01 Bartoletti, M.; Cimoli, T.; Murgia, M.; Podda, A. S.; Pompianu, L.
Contract-Oriented design of distributed applications: A tutorial
2017-01-01 Atzei, Nicola; Bartoletti, Massimo; Murgia, Maurizio; Tuosto, Emilio; Zunino, Roberto
Input urgent semantics for asynchronous timed session types
2019-01-01 Murgia, Maurizio
Modelling and verifying contract-oriented systems in Maude
2014-01-01 Bartoletti, M.; Murgia, M.; Scalas, A.; Zunino, R.
On Model-Based Performance Analysis of Collective Adaptive Systems
2022-01-01 Murgia, Maurizio; Pinciroli, Riccardo; Trubiani, Catia; Tuosto, Emilio
On urgency in asynchronous timed session types
2018-01-01 Murgia, M.
Progress-preserving refinements of CTA
2018-01-01 Bartoletti, M.; Bocchi, L.; Murgia, M.
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
Timed Session Types
2017-01-01 Bartoletti, Massimo; Cimoli, Tiziana; Murgia, Maurizio
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Contract-Oriented Middleware | 1-gen-2016 | Bartoletti, Massimo; Cimoli, Tiziana; Murgia, Maurizio; Podda, Alessandro Sebastian; Pompianu, Livio | |
A fixed-points based framework for compliance of behavioural contracts | 1-gen-2021 | Murgia, Maurizio | |
A Minimal Core Calculus for Solidity Contracts | 1-gen-2019 | Bartoletti, M.; Galletta, L.; Murgia, M. | |
A note on compliance relations and fixed points.? | 1-gen-2019 | Murgia, M. | |
A Sound Up-to-$$n,\delta $$ Bisimilarity for PCTL | 1-gen-2022 | Bartoletti, Massimo; Murgia, Maurizio; Zunino, Roberto | |
A theory of transaction parallelism in blockchains | 1-gen-2021 | Bartoletti, Massimo; Galletta, Letterio; Murgia, Maurizio | |
A True Concurrent Model of Smart Contracts Executions | 1-gen-2020 | Bartoletti, Massimo; Galletta, Letterio; Murgia, Maurizio | |
Asynchronous Timed Session Types: From Duality to Time-Sensitive Processes | 1-gen-2019 | Bocchi, L.; Murgia, M.; Vasconcelos, V. T.; Yoshida, N. | |
Behavioural Types: from Theory to Tools | 1-gen-2017 | Atzei, N.; Bartoletti, M.; Cimoli, T.; Lande, S.; Murgia, M.; Podda, A. S.; Pompianu, L. | |
Comparing perfomance abstractions for collective adaptive systems | 1-gen-2023 | Murgia, Maurizio; Pinciroli, Riccardo; Trubiani, Catia; Tuosto, Emilio | |
Compliance and subtyping in timed session types | 1-gen-2015 | Bartoletti, M.; Cimoli, T.; Murgia, M.; Podda, A. S.; Pompianu, L. | |
Contract-Oriented design of distributed applications: A tutorial | 1-gen-2017 | Atzei, Nicola; Bartoletti, Massimo; Murgia, Maurizio; Tuosto, Emilio; Zunino, Roberto | |
Input urgent semantics for asynchronous timed session types | 1-gen-2019 | Murgia, Maurizio | |
Modelling and verifying contract-oriented systems in Maude | 1-gen-2014 | Bartoletti, M.; Murgia, M.; Scalas, A.; Zunino, R. | |
On Model-Based Performance Analysis of Collective Adaptive Systems | 1-gen-2022 | Murgia, Maurizio; Pinciroli, Riccardo; Trubiani, Catia; Tuosto, Emilio | |
On urgency in asynchronous timed session types | 1-gen-2018 | Murgia, M. | |
Progress-preserving refinements of CTA | 1-gen-2018 | Bartoletti, M.; Bocchi, L.; Murgia, M. | |
Renegotiation and recursion in bitcoin contracts | 1-gen-2020 | Bartoletti, M.; Murgia, M.; Zunino, R. | |
Sound approximate and asymptotic probabilistic bisimulations for PCTL | 1-gen-2023 | Bartoletti, Massimo; Murgia, Maurizio; Zunino, Roberto | |
Timed Session Types | 1-gen-2017 | Bartoletti, Massimo; Cimoli, Tiziana; Murgia, Maurizio |