A Categorical Account of Replicated Data Types

Fabio Gadducci; Hernán Melgratti; Christian Roldán; Matteo Sammartino

doi:10.4230/LIPIcs.FSTTCS.2019.42

A Categorical Account of Replicated Data Types

Fabio Gadducci, Hernán Melgratti, Christian Roldán, Matteo Sammartino

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019
Editors	Arkadev Chattopadhyay, Paul Gastin
Publisher	Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Pages	1-15
Number of pages	15
ISBN (Electronic)	9783959771313
DOIs	https://doi.org/10.4230/LIPIcs.FSTTCS.2019.42
Publication status	Published - Dec 2019
Event	39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019 - Bombay, India Duration: 11 Dec 2019 → 13 Dec 2019

Publication series

Name	Leibniz International Proceedings in Informatics, LIPIcs
Volume	150
ISSN (Print)	1868-8969

Conference

Conference	39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019
Country/Territory	India
City	Bombay
Period	11/12/19 → 13/12/19

Keywords

Functorial characterisation
Replicated data type
Specification

Access to Document

10.4230/LIPIcs.FSTTCS.2019.42Licence: CC BY

Cite this

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). Article 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

Gadducci, Fabio ; Melgratti, Hernán ; Roldán, Christian et al. / 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).

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

}

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

A Categorical Account of Replicated Data Types. / Gadducci, Fabio; Melgratti, Hernán; Roldán, Christian et al.
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 proceeding › Conference contribution

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 -

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). doi: 10.4230/LIPIcs.FSTTCS.2019.42