Categorical specification and implementation of Replicated Data Types

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

doi:10.1016/j.tcs.2021.12.020

Categorical specification and implementation of Replicated Data Types

Fabio Gadducci, Hernán Melgratti + Show 2 more

https://doi.org/10.1016/j.tcs.2021.12.020

Copy DOI

Journal: Theoretical Computer Science

Publication Date: Dec 28, 2021

Affiliation: IMDEA Software, Royal Holloway University of London, University of Pisa, University of Buenos Aires

#Replicated Data Types #Notion Of Correctness + Show 5 more

Abstract
Full-Text PDF
Similar Papers

Abstract

Replicated Data Types (rdts) have been introduced as an abstraction for dealing with weakly consistent data stores, which may (temporarily) expose multiple, inconsistent views of their state. In the literature, rdts are usually presented in set-theoretical terms, and only recently different specification flavours have been proposed. This paper offers a categorical presentation for the specification and implementation of rdts. This paves the way for a method that allows distilling an operational semantics from a specification, which is then exploited to define a notion of implementation correctness via simulation.

Full Text