7 citations · 14 across the 7 of their papers we have counts for
11 papers
Bisimilarity and Simulatability of Processes Parameterized by Join Interactions
Clemens Grabmayer, Maurizio Murgia
Departing from Larsen's concept of parameterized bisimilarity of processes with respect to interaction with environments, we start an exploration of its natural weakening: bisimila…
Contextual Behavioural Metrics (Extended Version)
Ugo Dal Lago, Maurizio Murgia
We introduce contextual behavioural metrics (CBMs) as a novel way of measuring the discrepancy in behaviour between processes, taking into account both quantitative aspects and con…
Sound approximate and asymptotic probabilistic bisimulations for PCTL
Massimo Bartoletti, Maurizio Murgia, Roberto Zunino
We tackle the problem of establishing the soundness of approximate bisimilarity with respect to PCTL and its relaxed semantics. To this purpose, we consider a notion of bisimilarit…
Verifying liquidity of recursive Bitcoin contracts
Massimo Bartoletti, Stefano Lande, Maurizio Murgia +1
Smart contracts - computer protocols that regulate the exchange of crypto-assets in trustless environments - have become popular with the spread of blockchain technologies. A landm…
A theory of transaction parallelism in blockchains
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia
Decentralized blockchain platforms have enabled the secure exchange of crypto-assets without the intermediation of trusted authorities. To this purpose, these platforms rely on a p…
Renegotiation and recursion in Bitcoin contracts
Massimo Bartoletti, Maurizio Murgia, Roberto Zunino
BitML is a process calculus to express smart contracts that can be run on Bitcoin. One of its current limitations is that, once a contract has been stipulated, the participants can…
A Note On Compliance Relations And Fixed Points
Maurizio Murgia
We study compliance relations between behavioural contracts in a syntax independent setting based on Labelled Transition Systems. We introduce a fix-point based family of complianc…
A minimal core calculus for Solidity contracts
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia
The Ethereum platform supports the decentralized execution of smart contracts, i.e. computer programs that transfer digital assets between users. The most common language used to d…
A true concurrent model of smart contracts executions
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia
The development of blockchain technologies has enabled the trustless execution of so-called smart contracts, i.e. programs that regulate the exchange of assets (e.g., cryptocurrenc…
On Urgency in Asynchronous Timed Session Types
Maurizio Murgia
We study an urgent semantics of asynchronous timed session types, where input actions happen as soon as possible. We show that with this semantics we can recover to the timed setti…
Timed Session Types
Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia
Timed session types formalise timed communication protocols between two participants at the endpoints of a session. They feature a decidable compliance relation, which generalises…