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

Documents

Original languageEnglish
Title of host publicationTheoretical Aspects of Computing – ICTAC 2020 - 17th International Colloquium, 2020, Proceedings
EditorsViolet Ka Pun, Volker Stolz, Adenilso Simao
PublisherSpringer Science and Business Media Deutschland GmbH
Pages283-303
Number of pages21
ISBN (Print)9783030642754
DOIs
Publication statusE-pub ahead of print - 25 Nov 2020
Event17th International Colloquium on Theoretical Aspects of Computing, ICTAC 2020 - Macau, China
Duration: 30 Nov 20204 Dec 2020

Publication series

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

Conference

Conference17th International Colloquium on Theoretical Aspects of Computing, ICTAC 2020
CountryChina
CityMacau
Period30/11/204/12/20
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 40101171