A Categorical Account of Replicated Data Types. / Gadducci, Fabio; Melgratti, Hernán; Roldán, Christian; Sammartino, Matteo.

39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019. ed. / Arkadev Chattopadhyay; Paul Gastin. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2019. p. 1-15 42 (Leibniz International Proceedings in Informatics, LIPIcs; Vol. 150).

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

Published

Standard

A Categorical Account of Replicated Data Types. / Gadducci, Fabio; Melgratti, Hernán; Roldán, Christian; Sammartino, Matteo.

39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019. ed. / Arkadev Chattopadhyay; Paul Gastin. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2019. p. 1-15 42 (Leibniz International Proceedings in Informatics, LIPIcs; Vol. 150).

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

Harvard

Gadducci, F, Melgratti, H, Roldán, C & Sammartino, M 2019, A Categorical Account of Replicated Data Types. in A Chattopadhyay & P Gastin (eds), 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019., 42, Leibniz International Proceedings in Informatics, LIPIcs, vol. 150, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, pp. 1-15, 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, Bombay, India, 11/12/19. https://doi.org/10.4230/LIPIcs.FSTTCS.2019.42

APA

Gadducci, F., Melgratti, H., Roldán, C., & Sammartino, M. (2019). A Categorical Account of Replicated Data Types. In A. Chattopadhyay, & P. Gastin (Eds.), 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019 (pp. 1-15). [42] (Leibniz International Proceedings in Informatics, LIPIcs; Vol. 150). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.FSTTCS.2019.42

Vancouver

Gadducci F, Melgratti H, Roldán C, Sammartino M. A Categorical Account of Replicated Data Types. In Chattopadhyay A, Gastin P, editors, 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. 2019. p. 1-15. 42. (Leibniz International Proceedings in Informatics, LIPIcs). https://doi.org/10.4230/LIPIcs.FSTTCS.2019.42

Author

Gadducci, Fabio ; Melgratti, Hernán ; Roldán, Christian ; Sammartino, Matteo. / A Categorical Account of Replicated Data Types. 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019. editor / Arkadev Chattopadhyay ; Paul Gastin. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2019. pp. 1-15 (Leibniz International Proceedings in Informatics, LIPIcs).

BibTeX

@inproceedings{5723a5e7bc8e4b15a5e1ecc5ccc3442d,
title = "A Categorical Account of Replicated Data Types",
keywords = "Functorial characterisation, Replicated data type, Specification",
author = "Fabio Gadducci and Hern{\'a}n Melgratti and Christian Rold{\'a}n and Matteo Sammartino",
year = "2019",
month = dec,
doi = "10.4230/LIPIcs.FSTTCS.2019.42",
language = "English",
series = "Leibniz International Proceedings in Informatics, LIPIcs",
publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",
pages = "1--15",
editor = "Arkadev Chattopadhyay and Paul Gastin",
booktitle = "39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019",
note = "39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019 ; Conference date: 11-12-2019 Through 13-12-2019",

}

RIS

TY - GEN

T1 - A Categorical Account of Replicated Data Types

AU - Gadducci, Fabio

AU - Melgratti, Hernán

AU - Roldán, Christian

AU - Sammartino, Matteo

PY - 2019/12

Y1 - 2019/12

KW - Functorial characterisation

KW - Replicated data type

KW - Specification

U2 - 10.4230/LIPIcs.FSTTCS.2019.42

DO - 10.4230/LIPIcs.FSTTCS.2019.42

M3 - Conference contribution

AN - SCOPUS:85077447296

T3 - Leibniz International Proceedings in Informatics, LIPIcs

SP - 1

EP - 15

BT - 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019

A2 - Chattopadhyay, Arkadev

A2 - Gastin, Paul

PB - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing

T2 - 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019

Y2 - 11 December 2019 through 13 December 2019

ER -