5 papers
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…