Categorical specification and implementation of Replicated Data Types

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

Research output: Contribution to journalArticlepeer-review

15 Downloads (Pure)
Original languageEnglish
Pages (from-to)84-112
Number of pages29
JournalTheoretical Computer Science
Volume903
Early online date22 Jan 2022
DOIs
Publication statusPublished - 8 Feb 2022

Keywords

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

Cite this