Higher-Order Patterns in Replicated Data Types-Reference-Cited by-同舟云学术

Higher-Order Patterns in Replicated Data Types

Published:2019 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data - PaPoC '19
language:
Short-container-title:

Author:

Leijnse Adriaan¹,Almeida Paulo Sérgio²,Baquero Carlos²

Affiliation:

1. INESC TEC

2. INESC TEC & University of Minho

Publisher

ACM Press

Reference7 articles.

1. Marc Shapiro, Nuno Preguiça, Carlos Baquero, and Marek Zawirski. A comprehensive study of Convergent and Commutative Replicated Data Types. Research Report RR-7506, Inria -- Centre Paris-Rocquencourt; INRIA, January 2011.

2. Carlos Baquero, Paulo Sérgio Almeida, and Ali Shoker. Making operation-based crdts operation-based. In Kostas Magoutis and Peter Pietzuch, editors, Distributed Applications and Interoperable Systems, pages 126--140, Berlin, Heidelberg, 2014. Springer Berlin Heidelberg.

3. Alexey Gotsman and Hongseok Yang. Composite replicated data types. In Jan Vitek, editor, Programming Languages and Systems, pages 585--609, Berlin, Heidelberg, 2015. Springer Berlin Heidelberg.

4. Paulo Sérgio Almeida, Ali Shoker, and Carlos Baquero. Delta state replicated data types. Journal of Parallel and Distributed Computing, 111:162--173, 2018.

5. Marc Shapiro, Nuno Preguiça, Carlos Baquero, and Marek Zawirski. Conflict-free replicated data types. In Xavier Défago, Franck Petit, and Vincent Villain, editors, Stabilization, Safety, and Security of Distributed Systems, pages 386--400, Berlin, Heidelberg, 2011. Springer Berlin Heidelberg.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. General-Purpose Secure Conflict-free Replicated Data Types;2023 IEEE 36th Computer Security Foundations Symposium (CSF);2023-07

2. A Study of Semantics for CRDT-based Collaborative Spreadsheets;Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data;2023-05-08

3. Modular verification of op-based CRDTs in separation logic;Proceedings of the ACM on Programming Languages;2022-10-31

4. Hypergraphs as Conflict-Free Partially Replicated Data Types;Lecture Notes in Computer Science;2022

5. Composing and decomposing op-based CRDTs with semidirect products;Proceedings of the ACM on Programming Languages;2020-08-02