7 citations · 14 across the 7 of their papers we have counts for
3 papers · 1 filter
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…