Categorical specification and implementation of Replicated Data Types. / Gadducci, Fabio; Melgratti, Hernán; Roldán, Christian; Sammartino, Matteo.

In: Theoretical Computer Science, Vol. 903, 08.02.2022, p. 84-112.

Research output: Contribution to journalArticlepeer-review



  • Accepted Manuscript

    Accepted author manuscript, 540 KB, PDF document

    Embargo ends: 12/01/23

    Licence: CC BY-NC-ND Show licence

Original languageEnglish
Pages (from-to)84-112
Number of pages29
JournalTheoretical Computer Science
Early online date22 Jan 2022
Publication statusPublished - 8 Feb 2022
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 45562748