research
∙
07/14/2023
Contextual Behavioural Metrics (Extended Version)
We introduce contextual behavioural metrics (CBMs) as a novel way of mea...
share
research
∙
11/04/2021
A Sound Up-to-n,δ Bisimilarity for PCTL
We tackle the problem of establishing the soundness of approximate bisim...
research
∙
11/28/2020
Verification of recursive Bitcoin contracts
Smart contracts - computer protocols that regulate the exchange of crypt...
research
∙
11/27/2020
A theory of transaction parallelism in blockchains
Decentralized blockchain platforms have enabled the secure exchange of c...
research
∙
02/29/2020
Renegotiation and recursion in Bitcoin contracts
BitML is a process calculus to express smart contracts that can be run o...
research
∙
09/12/2019
A Note On Compliance Relations And Fixed Points
We study compliance relations between behavioural contracts in a syntax ...
research
∙
08/06/2019
A minimal core calculus for Solidity contracts
The Ethereum platform supports the decentralized execution of smart cont...
research
∙
05/10/2019
A true concurrent model of smart contracts executions
One of the key features of modern blockchain platforms is the possibilit...
research
∙
10/05/2018
On Urgency in Asynchronous Timed Session Types
We study an urgent semantics of asynchronous timed session types, where ...
research
∙
10/15/2017