Mostrar el registro sencillo del ítem
dc.contributor.author
Gadducci, Fabio
dc.contributor.author
Melgratti, Hernan Claudio
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.contributor.author
Roldán, Christian Hugo
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.contributor.author
Sammartino, Matteo
dc.date.available
2021-01-21T15:53:44Z
dc.date.issued
2019-12
dc.identifier.citation
Gadducci, Fabio; Melgratti, Hernan Claudio; Roldán, Christian Hugo; Sammartino, Matteo; A categorical account of replicated data types; Schloss Dagstuhl. Leibniz-Zentrum für Informatik; Leibniz International Proceedings in Informatics, LIPIcs; 150; 12-2019; 1-13
dc.identifier.issn
1868-8969
dc.identifier.uri
http://hdl.handle.net/11336/123316
dc.description.abstract
Replicated Data Types (rdts) have been introduced as a suitable abstraction for dealing with weakly consistent data stores, which may (temporarily) expose multiple, inconsistent views of their state. In the literature, rdts are commonly specified in terms of two relations: visibility, which accounts for the different views that a store may have, and arbitration, which states the logical order imposed on the operations executed over the store. Different flavours, e.g., operational, axiomatic and functional, have recently been proposed for the specification of rdts. In this work, we propose an algebraic characterisation of rdt specifications. We define categories of visibility relations and arbitrations, show the existence of relevant limits and colimits, and characterize rdt specifications as functors between such categories that preserve these additional structures.
dc.format
application/pdf
dc.language.iso
eng
dc.publisher
Schloss Dagstuhl. Leibniz-Zentrum für Informatik
dc.rights
info:eu-repo/semantics/openAccess
dc.rights.uri
https://creativecommons.org/licenses/by/2.5/ar/
dc.subject
FUNCTORIAL CHARACTERISATION
dc.subject
REPLICATED DATA TYPE
dc.subject
SPECIFICATION
dc.subject.classification
Ciencias de la Computación
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.subject.classification
Ciencias de la Computación e Información
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.title
A categorical account of replicated data types
dc.type
info:eu-repo/semantics/article
dc.type
info:ar-repo/semantics/artículo
dc.type
info:eu-repo/semantics/publishedVersion
dc.date.updated
2020-11-30T14:16:27Z
dc.journal.volume
150
dc.journal.pagination
1-13
dc.journal.pais
Alemania
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.description.fil
Fil: Gadducci, Fabio. Università degli Studi di Pisa; Italia
dc.description.fil
Fil: Melgratti, Hernan Claudio. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Investigación en Ciencias de la Computación. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Investigación en Ciencias de la Computación; Argentina
dc.description.fil
Fil: Roldán, Christian Hugo. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Investigación en Ciencias de la Computación. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Investigación en Ciencias de la Computación; Argentina
dc.description.fil
Fil: Sammartino, Matteo. University College London; Estados Unidos
dc.journal.title
Leibniz International Proceedings in Informatics, LIPIcs
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2019.42
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://drops.dagstuhl.de/opus/volltexte/2019/11604/
Archivos asociados