A true concurrent model of smart contracts executions M Bartoletti, L Galletta, M Murgia
International Conference on Coordination Languages and Models, 243-260, 2020
32 2020 A contract-oriented middleware M Bartoletti, T Cimoli, M Murgia, AS Podda, L Pompianu
Formal Aspects of Component Software: 12th International Conference, FACS …, 2016
25 2016 Compliance and subtyping in timed session types M Bartoletti, T Cimoli, M Murgia, AS Podda, L Pompianu
Formal Techniques for Distributed Objects, Components, and Systems: 35th …, 2015
25 2015 A minimal core calculus for Solidity contracts M Bartoletti, L Galletta, M Murgia
Data Privacy Management, Cryptocurrencies and Blockchain Technology: ESORICS …, 2019
22 2019 Asynchronous timed session types L Bocchi, M Murgia, VT Vasconcelos, N Yoshida
Programming Languages and Systems, Luís Caires (Ed.). Springer International …, 2019
21 2019 Timed session types M Bartoletti, T Cimoli, M Murgia
Logical Methods in Computer Science 13, 2017
16 2017 Verifiable abstractions for contract-oriented systems M Bartoletti, M Murgia, A Scalas, R Zunino
Journal of Logical and Algebraic Methods in Programming 86 (1), 159-207, 2017
12 2017 Modelling and verifying contract-oriented systems in Maude M Bartoletti, M Murgia, A Scalas, R Zunino
Rewriting Logic and Its Applications: 10th International Workshop, WRLA 2014 …, 2014
10 2014 A note on compliance relations and fixed points M Murgia
arXiv preprint arXiv:1909.05969, 2019
9 2019 Verifying liquidity of recursive bitcoin contracts M Bartoletti, S Lande, M Murgia, R Zunino
Logical Methods in Computer Science 18, 2022
6 2022 Progress-preserving refinements of CTA M Bartoletti, L Bocchi, M Murgia
Leibniz International Proceedings in Informatics, 1-19, 2018
5 2018 A fixed-points based framework for compliance of behavioural contracts M Murgia
Journal of Logical and Algebraic Methods in Programming 120, 100641, 2021
4 2021 Renegotiation and recursion in Bitcoin contracts M Bartoletti, M Murgia, R Zunino
Coordination Models and Languages: 22nd IFIP WG 6.1 International Conference …, 2020
4 2020 A theory of transaction parallelism in blockchains M Bartoletti, L Galletta, M Murgia
Logical Methods in Computer Science 17, 2021
3 2021 Contract-Oriented design of distributed applications: A tutorial N Atzei, M Bartoletti, M Murgia, E Tuosto, R Zunino
Behavioural Types: from Theory to Tools 1, 1-24, 2017
3 2017 On model-based performance analysis of collective adaptive systems M Murgia, R Pinciroli, C Trubiani, E Tuosto
International Symposium on Leveraging Applications of Formal Methods, 266-282, 2022
2 2022 Contract-oriented programming with timed session types N Atzei, M Bartoletti, T Cimoli, S Lande, M Murgia, AS Podda, L Pompianu
Behavioural Types, 27-48, 2022
2 2022 On urgency in asynchronous timed session types M Murgia
arXiv preprint arXiv:1810.02472, 2018
2 2018 Comparing perfomance abstractions for collective adaptive systems M Murgia, R Pinciroli, C Trubiani, E Tuosto
International Journal on Software Tools for Technology Transfer 25 (5), 785-798, 2023
1 2023 A Sound Up-to- Bisimilarity for PCTL M Bartoletti, M Murgia, R Zunino
International Conference on Coordination Languages and Models, 35-52, 2022
1 2022