Showing 1 - 6 results of 6 for search 'Massimo Bartoletti', query time: 0.02s
Refine Results
-
1
A theory of transaction parallelism in blockchains by Massimo Bartoletti, Letterio Galletta, Maurizio Murgia
Published 2021-11-01
Article -
2
Timed Session Types by Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia
Published 2017-12-01
Article -
3
Sound approximate and asymptotic probabilistic bisimulations for PCTL by Massimo Bartoletti, Maurizio Murgia, Roberto Zunino
Published 2023-03-01
Article -
4
Verifying liquidity of recursive Bitcoin contracts by Massimo Bartoletti, Stefano Lande, Maurizio Murgia, Roberto Zunino
Published 2022-02-01
Article -
5
Honesty by Typing by Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, Roberto Zunino
Published 2017-04-01
Article -
6
A theory of Automated Market Makers in DeFi by Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente
Published 2022-12-01
Article