%0 Conference Proceedings
%T A Denotational View of Replicated Data Types
%+ University of Pisa - Università di Pisa
%+ Universidad de Buenos Aires [Buenos Aires] (UBA)
%+ Consejo Nacional de Investigaciones Científicas y Técnicas [Buenos Aires] (CONICET)
%A Gadducci, Fabio
%A Melgratti, Hernán
%A Roldán, Christian
%Z Part 3: Types
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 19th International Conference on Coordination Languages and Models (COORDINATION)
%C Neuchâtel, Switzerland
%Y Jean-Marie Jacquet
%Y Mieke Massink
%I Springer International Publishing
%3 Coordination Models and Languages
%V LNCS-10319
%P 138-156
%8 2017-06-19
%D 2017
%R 10.1007/978-3-319-59746-1_8
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X “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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01657339/document
%2 https://inria.hal.science/hal-01657339/file/450044_1_En_8_Chapter.pdf
%L hal-01657339
%U https://inria.hal.science/hal-01657339
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-COORDINATION
%~ IFIP-LNCS-10319