VERIFYING LIQUIDITY OF RECURSIVE BITCOIN CONTRACTS[J] LOGICAL METHODS IN COMPUTER SCIENCE 2022(18) Bartoletti, Massimo Lande, Stefano Murgia, Maurizio Zunino, Roberto
A theory of transaction parallelism in blockchains[J] LOGICAL METHODS IN COMPUTER SCIENCE 2021(17) Bartoletti, Massimo Galletta, Letterio Murgia, Maurizio
