Segui
Maurizio Murgia
Maurizio Murgia
Gran Sasso Science Institute
Email verificata su gssi.it
Titolo
Citata da
Citata da
Anno
A true concurrent model of smart contracts executions
M Bartoletti, L Galletta, M Murgia
International Conference on Coordination Languages and Models, 243-260, 2020
322020
A contract-oriented middleware
M Bartoletti, T Cimoli, M Murgia, AS Podda, L Pompianu
Formal Aspects of Component Software: 12th International Conference, FACS …, 2016
252016
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
252015
A minimal core calculus for Solidity contracts
M Bartoletti, L Galletta, M Murgia
Data Privacy Management, Cryptocurrencies and Blockchain Technology: ESORICS …, 2019
222019
Asynchronous timed session types
L Bocchi, M Murgia, VT Vasconcelos, N Yoshida
Programming Languages and Systems, Luís Caires (Ed.). Springer International …, 2019
212019
Timed session types
M Bartoletti, T Cimoli, M Murgia
Logical Methods in Computer Science 13, 2017
162017
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
122017
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
102014
A note on compliance relations and fixed points
M Murgia
arXiv preprint arXiv:1909.05969, 2019
92019
Verifying liquidity of recursive bitcoin contracts
M Bartoletti, S Lande, M Murgia, R Zunino
Logical Methods in Computer Science 18, 2022
62022
Progress-preserving refinements of CTA
M Bartoletti, L Bocchi, M Murgia
Leibniz International Proceedings in Informatics, 1-19, 2018
52018
A fixed-points based framework for compliance of behavioural contracts
M Murgia
Journal of Logical and Algebraic Methods in Programming 120, 100641, 2021
42021
Renegotiation and recursion in Bitcoin contracts
M Bartoletti, M Murgia, R Zunino
Coordination Models and Languages: 22nd IFIP WG 6.1 International Conference …, 2020
42020
A theory of transaction parallelism in blockchains
M Bartoletti, L Galletta, M Murgia
Logical Methods in Computer Science 17, 2021
32021
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
32017
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
22022
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
22022
On urgency in asynchronous timed session types
M Murgia
arXiv preprint arXiv:1810.02472, 2018
22018
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
12023
A Sound Up-to- Bisimilarity for PCTL
M Bartoletti, M Murgia, R Zunino
International Conference on Coordination Languages and Models, 35-52, 2022
12022
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20