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

Published

Standard

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

Harvard

Gadducci, F, Melgratti, H, Roldán, C & Sammartino, M 2022, 'Categorical specification and implementation of Replicated Data Types', Theoretical Computer Science, vol. 903, pp. 84-112. https://doi.org/10.1016/j.tcs.2021.12.020

APA

Gadducci, F., Melgratti, H., Roldán, C., & Sammartino, M. (2022). Categorical specification and implementation of Replicated Data Types. Theoretical Computer Science, 903, 84-112. https://doi.org/10.1016/j.tcs.2021.12.020

Vancouver

Gadducci F, Melgratti H, Roldán C, Sammartino M. Categorical specification and implementation of Replicated Data Types. Theoretical Computer Science. 2022 Feb 8;903:84-112. https://doi.org/10.1016/j.tcs.2021.12.020

Author

Gadducci, Fabio ; Melgratti, Hernán ; Roldán, Christian ; Sammartino, Matteo. / Categorical specification and implementation of Replicated Data Types. In: Theoretical Computer Science. 2022 ; Vol. 903. pp. 84-112.

BibTeX

@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",

}

RIS

TY - JOUR

T1 - Categorical specification and implementation of Replicated Data Types

AU - Gadducci, Fabio

AU - Melgratti, Hernán

AU - Roldán, Christian

AU - Sammartino, Matteo

N1 - Funding Information: Research partially supported by the MIUR PRIN 2017FTXR7S “IT-MaTTerS”, by the EU H2020 RISE programme under the Marie Skłodowska-Curie grant agreement 778233 , by the UBACyT projects 20020170100544BA and 20020170100086BA , and by the EPSRC standard grant EP/S028641/1 “CLeVer”. Publisher Copyright: © 2021 Elsevier B.V.

PY - 2022/2/8

Y1 - 2022/2/8

KW - Functorial characterisation

KW - Implementation correctness

KW - Operational semantics

KW - Replicated data types

KW - Specification

UR - http://www.scopus.com/inward/record.url?scp=85122478131&partnerID=8YFLogxK

U2 - 10.1016/j.tcs.2021.12.020

DO - 10.1016/j.tcs.2021.12.020

M3 - Article

AN - SCOPUS:85122478131

VL - 903

SP - 84

EP - 112

JO - Theoretical Computer Science

JF - Theoretical Computer Science

SN - 0304-3975

ER -