Implementation Correctness for Replicated Data Types, Categorically

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

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

29 Downloads (Pure)
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
Country/TerritoryChina
CityMacau
Period30/11/204/12/20

Keywords

  • Functorial characterisation
  • Implementation correctness
  • Operational semantics
  • Replicated data types
  • Specification

Cite this