"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
10.1007/978-3-319-59746-1_8
paper_03029743_v10319LNCS_n_p138_Gadducci