Maurizio Murgia

36 papers A 1B 3C 5Journal 19Unranked 8
YearRankTypeTitle / Venue / Authors
2025 B conf
Abstract Subtyping for Asynchronous Multiparty Sessions.
CONCUR
Laura Bocchi, Andy King, Maurizio Murgia, Simon Thompson
2025 — conf
Bisimilarity and Simulatability of Processes Parameterized by Join Interactions.
ICE
Clemens Grabmayer, Maurizio Murgia
2025 J jnl
Timeout Asynchronous Session Types: Safe Asynchronous Mixed-Choice For Timed Interactions.
Log. Methods Comput. Sci.
Jonah Pears, Laura Bocchi, Maurizio Murgia, Andy King
2024 — conf
Asynchronous Subtyping by Trace Relaxation.
TACAS (1)
Laura Bocchi, Andy King, Maurizio Murgia
2024 J jnl
Introducing TOAST: Safe Asynchronous Mixed-Choice For Timed Interactions.
CoRR
Jonah Pears, Laura Bocchi, Maurizio Murgia, Andy King
2024 C conf
TRAC: A Tool for Data-Aware Coordination - (with an Application to Smart Contracts).
COORDINATION
João Afonso, Elvis Konjoh Selabi, Maurizio Murgia, António Ravara, Emilio Tuosto
2024 J jnl
TRAC: a tool for data-aware coordination (with an application to smart contracts).
CoRR
João Afonso, Elvis Konjoh Selabi, Maurizio Murgia, António Ravara, Emilio Tuosto
2023 J jnl
Comparing perfomance abstractions for collective adaptive systems.
Int. J. Softw. Tools Technol. Transf.
Maurizio Murgia, Riccardo Pinciroli, Catia Trubiani, Emilio Tuosto
2023 J jnl
Contextual Behavioural Metrics (Extended Version).
CoRR
Ugo Dal Lago, Maurizio Murgia
2023 B conf
Contextual Behavioural Metrics.
CONCUR
Ugo Dal Lago, Maurizio Murgia
2023 J jnl
Sound approximate and asymptotic probabilistic bisimulations for PCTL.
Log. Methods Comput. Sci.
Massimo Bartoletti, Maurizio Murgia, Roberto Zunino
2022 C conf
A Sound Up-to-n, δ Bisimilarity for PCTL.
COORDINATION
Massimo Bartoletti, Maurizio Murgia, Roberto Zunino
2022 — conf
On Model-Based Performance Analysis of Collective Adaptive Systems.
ISoLA (3)
Maurizio Murgia, Riccardo Pinciroli, Catia Trubiani, Emilio Tuosto
2022 J jnl
Verifying liquidity of recursive Bitcoin contracts.
Log. Methods Comput. Sci.
Massimo Bartoletti, Stefano Lande, Maurizio Murgia, Roberto Zunino
2021 J jnl
A Sound Up-to-$n$, $δ$ Bisimilarity for PCTL.
CoRR
Massimo Bartoletti, Maurizio Murgia, Roberto Zunino
2021 J jnl
A fixed-points based framework for compliance of behavioural contracts.
J. Log. Algebraic Methods Program.
Maurizio Murgia
2021 J jnl
A theory of transaction parallelism in blockchains.
Log. Methods Comput. Sci.
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia
2020 C conf
A True Concurrent Model of Smart Contracts Executions.
COORDINATION
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia
2020 J jnl
A theory of transaction parallelism in blockchains.
CoRR
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia
2020 C conf
Renegotiation and Recursion in Bitcoin Contracts.
COORDINATION
Massimo Bartoletti, Maurizio Murgia, Roberto Zunino
2020 J jnl
Renegotiation and recursion in Bitcoin contracts.
CoRR
Massimo Bartoletti, Maurizio Murgia, Roberto Zunino
2020 J jnl
Verification of recursive Bitcoin contracts.
CoRR
Massimo Bartoletti, Stefano Lande, Maurizio Murgia, Roberto Zunino
2019 — conf
A Minimal Core Calculus for Solidity Contracts.
DPM/CBT@ESORICS
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia
2019 — conf
A Note On Compliance Relations And Fixed Points.
ICE
Maurizio Murgia
2019 J jnl
A minimal core calculus for Solidity contracts.
CoRR
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia
2019 J jnl
A true concurrent model of smart contracts executions.
CoRR
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia
2019 A conf
Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes.
ESOP
Laura Bocchi, Maurizio Murgia, Vasco Thudichum Vasconcelos, Nobuko Yoshida
2019 J jnl
Input urgent semantics for asynchronous timed session types.
J. Log. Algebraic Methods Program.
Maurizio Murgia
2018 — conf
On Urgency in Asynchronous Timed Session Types.
ICE
Maurizio Murgia
2018 B conf
Progress-Preserving Refinements of CTA.
CONCUR
Massimo Bartoletti, Laura Bocchi, Maurizio Murgia
2017 J jnl
Timed Session Types.
CoRR
Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia
2017 J jnl
Timed Session Types.
Log. Methods Comput. Sci.
Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia
2017 J jnl
Verifiable abstractions for contract-oriented systems.
J. Log. Algebraic Methods Program.
Massimo Bartoletti, Maurizio Murgia, Alceste Scalas, Roberto Zunino
2015 — conf
A Contract-Oriented Middleware.
FACS
Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda, Livio Pompianu
2015 C conf
Compliance and Subtyping in Timed Session Types.
FORTE
Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda, Livio Pompianu
2014 — conf
Modelling and Verifying Contract-Oriented Systems in Maude.
WRLA
Massimo Bartoletti, Maurizio Murgia, Alceste Scalas, Roberto Zunino