Maurizio Murgia

According to our database, Maurizio Murgia authored at least 25 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Introducing TOAST: Safe Asynchronous Mixed-Choice For Timed Interactions.

Jonah Pears, Laura Bocchi, Maurizio Murgia, Andy King

CoRR, 2024

Asynchronous Subtyping by Trace Relaxation.

Laura Bocchi, Andy King, Maurizio Murgia

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

Comparing perfomance abstractions for collective adaptive systems.

Maurizio Murgia, Riccardo Pinciroli, Catia Trubiani, Emilio Tuosto

Int. J. Softw. Tools Technol. Transf., December, 2023

Sound approximate and asymptotic probabilistic bisimulations for PCTL.

Massimo Bartoletti, Maurizio Murgia, Roberto Zunino

Log. Methods Comput. Sci., 2023

Contextual Behavioural Metrics (Extended Version).

Ugo Dal Lago, Maurizio Murgia

CoRR, 2023

Contextual Behavioural Metrics.

Ugo Dal Lago, Maurizio Murgia

Proceedings of the 34th International Conference on Concurrency Theory, 2023

2022

Verifying liquidity of recursive Bitcoin contracts.

Massimo Bartoletti, Stefano Lande, Maurizio Murgia, Roberto Zunino

Log. Methods Comput. Sci., 2022

On Model-Based Performance Analysis of Collective Adaptive Systems.

Maurizio Murgia, Riccardo Pinciroli, Catia Trubiani, Emilio Tuosto

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

A Sound Up-to-n, δ Bisimilarity for PCTL.

Massimo Bartoletti, Maurizio Murgia, Roberto Zunino

Proceedings of the Coordination Models and Languages, 2022

2021

A theory of transaction parallelism in blockchains.

Massimo Bartoletti, Letterio Galletta, Maurizio Murgia

Log. Methods Comput. Sci., 2021

A fixed-points based framework for compliance of behavioural contracts.

Maurizio Murgia

J. Log. Algebraic Methods Program., 2021

2020

Verification of recursive Bitcoin contracts.

Massimo Bartoletti, Stefano Lande, Maurizio Murgia, Roberto Zunino

CoRR, 2020

Renegotiation and Recursion in Bitcoin Contracts.

Massimo Bartoletti, Maurizio Murgia, Roberto Zunino

Proceedings of the Coordination Models and Languages, 2020

A True Concurrent Model of Smart Contracts Executions.

Massimo Bartoletti, Letterio Galletta, Maurizio Murgia

Proceedings of the Coordination Models and Languages, 2020

2019

Input urgent semantics for asynchronous timed session types.

Maurizio Murgia

J. Log. Algebraic Methods Program., 2019

A Note On Compliance Relations And Fixed Points.

Maurizio Murgia

Proceedings of the Proceedings 12th Interaction and Concurrency Experience, 2019

A Minimal Core Calculus for Solidity Contracts.

Massimo Bartoletti, Letterio Galletta, Maurizio Murgia

Proceedings of the Data Privacy Management, Cryptocurrencies and Blockchain Technology, 2019

Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes.

Laura Bocchi, Maurizio Murgia, Vasco Thudichum Vasconcelos, Nobuko Yoshida

Proceedings of the Programming Languages and Systems, 2019

2018

On Urgency in Asynchronous Timed Session Types.

Maurizio Murgia

Proceedings of the Proceedings 11th Interaction and Concurrency Experience, 2018

Progress-Preserving Refinements of CTA.

Massimo Bartoletti, Laura Bocchi, Maurizio Murgia

Proceedings of the 29th International Conference on Concurrency Theory, 2018

2017

Timed Session Types.

Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia

Log. Methods Comput. Sci., 2017

Verifiable abstractions for contract-oriented systems.

Massimo Bartoletti, Maurizio Murgia, Alceste Scalas, Roberto Zunino

J. Log. Algebraic Methods Program., 2017

2015

Compliance and Subtyping in Timed Session Types.

Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda, Livio Pompianu

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2015

A Contract-Oriented Middleware.

Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda, Livio Pompianu

Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

2014

Modelling and Verifying Contract-Oriented Systems in Maude.

Massimo Bartoletti, Maurizio Murgia, Alceste Scalas, Roberto Zunino

Proceedings of the Rewriting Logic and Its Applications - 10th International Workshop, 2014