Implementation Correctness for Replicated Data Types, Categorically. / Gadducci, Fabio; Melgratti, Hernán; Roldán, Christian; Sammartino, Matteo.

Theoretical Aspects of Computing – ICTAC 2020 - 17th International Colloquium, 2020, Proceedings. ed. / Violet Ka Pun; Volker Stolz; Adenilso Simao. Springer Science and Business Media Deutschland GmbH, 2020. p. 283-303 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12545 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

E-pub ahead of print

Standard

Implementation Correctness for Replicated Data Types, Categorically. / Gadducci, Fabio; Melgratti, Hernán; Roldán, Christian; Sammartino, Matteo.

Theoretical Aspects of Computing – ICTAC 2020 - 17th International Colloquium, 2020, Proceedings. ed. / Violet Ka Pun; Volker Stolz; Adenilso Simao. Springer Science and Business Media Deutschland GmbH, 2020. p. 283-303 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12545 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Gadducci, F, Melgratti, H, Roldán, C & Sammartino, M 2020, Implementation Correctness for Replicated Data Types, Categorically. in VK Pun, V Stolz & A Simao (eds), Theoretical Aspects of Computing – ICTAC 2020 - 17th International Colloquium, 2020, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12545 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 283-303, 17th International Colloquium on Theoretical Aspects of Computing, ICTAC 2020, Macau, China, 30/11/20. https://doi.org/10.1007/978-3-030-64276-1_15

APA

Gadducci, F., Melgratti, H., Roldán, C., & Sammartino, M. (2020). Implementation Correctness for Replicated Data Types, Categorically. In V. K. Pun, V. Stolz, & A. Simao (Eds.), Theoretical Aspects of Computing – ICTAC 2020 - 17th International Colloquium, 2020, Proceedings (pp. 283-303). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12545 LNCS). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-030-64276-1_15

Vancouver

Gadducci F, Melgratti H, Roldán C, Sammartino M. Implementation Correctness for Replicated Data Types, Categorically. In Pun VK, Stolz V, Simao A, editors, Theoretical Aspects of Computing – ICTAC 2020 - 17th International Colloquium, 2020, Proceedings. Springer Science and Business Media Deutschland GmbH. 2020. p. 283-303. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-030-64276-1_15

Author

Gadducci, Fabio ; Melgratti, Hernán ; Roldán, Christian ; Sammartino, Matteo. / Implementation Correctness for Replicated Data Types, Categorically. Theoretical Aspects of Computing – ICTAC 2020 - 17th International Colloquium, 2020, Proceedings. editor / Violet Ka Pun ; Volker Stolz ; Adenilso Simao. Springer Science and Business Media Deutschland GmbH, 2020. pp. 283-303 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

BibTeX

@inproceedings{93dc7f86a5d148beb05775894d34b775,
title = "Implementation Correctness for Replicated Data Types, Categorically",
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",
year = "2020",
month = nov,
day = "25",
doi = "10.1007/978-3-030-64276-1_15",
language = "English",
isbn = "9783030642754",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "283--303",
editor = "Pun, {Violet Ka} and Volker Stolz and Adenilso Simao",
booktitle = "Theoretical Aspects of Computing – ICTAC 2020 - 17th International Colloquium, 2020, Proceedings",
address = "Germany",
note = "17th International Colloquium on Theoretical Aspects of Computing, ICTAC 2020 ; Conference date: 30-11-2020 Through 04-12-2020",

}

RIS

TY - GEN

T1 - Implementation Correctness for Replicated Data Types, Categorically

AU - Gadducci, Fabio

AU - Melgratti, Hernán

AU - Roldán, Christian

AU - Sammartino, Matteo

PY - 2020/11/25

Y1 - 2020/11/25

KW - Functorial characterisation

KW - Implementation correctness

KW - Operational semantics

KW - Replicated data types

KW - Specification

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

U2 - 10.1007/978-3-030-64276-1_15

DO - 10.1007/978-3-030-64276-1_15

M3 - Conference contribution

AN - SCOPUS:85097580500

SN - 9783030642754

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 283

EP - 303

BT - Theoretical Aspects of Computing – ICTAC 2020 - 17th International Colloquium, 2020, Proceedings

A2 - Pun, Violet Ka

A2 - Stolz, Volker

A2 - Simao, Adenilso

PB - Springer Science and Business Media Deutschland GmbH

T2 - 17th International Colloquium on Theoretical Aspects of Computing, ICTAC 2020

Y2 - 30 November 2020 through 4 December 2020

ER -