@article{21de3b3ad47d4331b6972fa99dbc7013,
title = "Categorical specification and implementation of Replicated Data Types",
keywords = "Functorial characterisation, Implementation correctness, Operational semantics, Replicated data types, Specification",
author = "Fabio Gadducci and Hern{\'a}n Melgratti and Christian Rold{\'a}n and Matteo Sammartino",
note = "Funding Information: Research partially supported by the MIUR PRIN 2017FTXR7S “IT-MaTTerS”, by the EU H2020 RISE programme under the Marie Sk{\l}odowska-Curie grant agreement 778233 , by the UBACyT projects 20020170100544BA and 20020170100086BA , and by the EPSRC standard grant EP/S028641/1 “CLeVer”. Publisher Copyright: {\textcopyright} 2021 Elsevier B.V.",
year = "2022",
month = feb,
day = "8",
doi = "10.1016/j.tcs.2021.12.020",
language = "English",
volume = "903",
pages = "84--112",
journal = "Theoretical Computer Science",
issn = "0304-3975",
publisher = "Elsevier",
}