4 papers · 1 filter
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…
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…