"On the semantics and implementation of replicated data types" (2018) Gadducci, F.; Melgratti, H.; Roldán, C. Science of Computer Programming. 167:91-113

"A denotational view of replicated data types" (2017) Gadducci, F.;Melgratti, H.;Roldán, C. (...)Massink M. 19th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2017 - Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017. 10319 LNCS:138-156

"A formal analysis of the global sequence protocol" (2016) Melgratti, H.; Roldán, C.; Lafuente A.L.; Proenca J. 18th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2016 and Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016. 9686:175-191