HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

A Denotational View of Replicated Data Types

Abstract : “Weak consistency” refers to a family of properties concerning the state of a distributed system. One of the key issues in their description is the way in which systems are specified. In this regard, a major advance is represented by the introduction of Replicated Data Types (rdts), in which the meaning of operators is given in terms of two relations, namely, visibility and arbitration. Concretely, a data type operation is defined as a function that maps visibility and arbitration into a return value. In this paper we recast such standard approaches into a denotational framework in which a data type is seen as a function that maps visibility into admissible arbitrations. This characterisation provides a more abstract view of RDTs that (i) highlights some of the implicit assumptions shared in operational approaches to specification; (ii) accommodates underspecification and refinement; (iii) enables a categorical presentation of RDT and the development of composition operators for specifications.
Complete list of metadata

Cited literature [14 references]  Display  Hide  Download

Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Wednesday, December 6, 2017 - 3:47:26 PM
Last modification on : Wednesday, April 17, 2019 - 4:06:02 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Fabio Gadducci, Hernán Melgratti, Christian Roldán. A Denotational View of Replicated Data Types. 19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.138-156, ⟨10.1007/978-3-319-59746-1_8⟩. ⟨hal-01657339⟩



Record views


Files downloads