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 proceeding › Conference 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_15APA
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_15Vancouver
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_15Author
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 -
