MURGIA, MAURIZIO

MURGIA, MAURIZIO  

Mostra records
Risultati 1 - 20 di 22 (tempo di esecuzione: 0.034 secondi).
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