Implementation Correctness for Replicated Data Types, Categorically

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

doi:10.1007/978-3-030-64276-1_15

Implementation Correctness for Replicated Data Types, Categorically

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

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

40 Downloads (Pure)

Original language	English
Title of host publication	Theoretical Aspects of Computing – ICTAC 2020 - 17th International Colloquium, 2020, Proceedings
Editors	Violet Ka Pun, Volker Stolz, Adenilso Simao
Publisher	Springer Science and Business Media Deutschland GmbH
Pages	283-303
Number of pages	21
ISBN (Print)	9783030642754
DOIs	https://doi.org/10.1007/978-3-030-64276-1_15
Publication status	E-pub ahead of print - 25 Nov 2020
Event	17th International Colloquium on Theoretical Aspects of Computing, ICTAC 2020 - Macau, China Duration: 30 Nov 2020 → 4 Dec 2020

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	12545 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	17th International Colloquium on Theoretical Aspects of Computing, ICTAC 2020
Country/Territory	China
City	Macau
Period	30/11/20 → 4/12/20

Keywords

Functorial characterisation
Implementation correctness
Operational semantics
Replicated data types
Specification

Access to Document

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

Accepted ManuscriptAccepted author manuscript, 441 KB

Cite this

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. Advance online publication. https://doi.org/10.1007/978-3-030-64276-1_15

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

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

}

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

Implementation Correctness for Replicated Data Types, Categorically. / Gadducci, Fabio; Melgratti, Hernán; Roldán, Christian et al.
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

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 -

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)). Epub 2020 Nov 25. doi: 10.1007/978-3-030-64276-1_15

Implementation Correctness for Replicated Data Types, Categorically

Publication series

Conference

Keywords

Access to Document

Other files and links

Cite this