A Categorical Account of Replicated Data Types
暂无分享,去创建一个
Fabio Gadducci | Hernán C. Melgratti | Matteo Sammartino | Christian Roldán | F. Gadducci | Matteo Sammartino | Christian Roldán
[1] Constantin Enea,et al. Verifying eventual consistency of optimistic replication systems , 2014, POPL.
[2] Suresh Jagannathan,et al. Safe replication through bounded concurrency verification , 2018, Proc. ACM Program. Lang..
[3] Suresh Jagannathan,et al. Declarative programming over eventually consistent data stores , 2015, PLDI.
[4] Sebastian Burckhardt,et al. Consistency models with global operation sequencing and their composition (extended version) , 2017, DISC.
[5] Marc Shapiro,et al. Conflict-Free Replicated Data Types , 2011, SSS.
[6] Fabio Gadducci,et al. A Denotational View of Replicated Data Types , 2017, COORDINATION.
[7] Hongseok Yang,et al. Composite Replicated Data Types , 2015, ESOP.
[8] Paulo Sérgio Almeida,et al. Higher-Order Patterns in Replicated Data Types , 2019, PaPoC@EuroSys.
[9] Nancy A. Lynch,et al. Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services , 2002, SIGA.
[10] Fabio Gadducci,et al. On the semantics and implementation of replicated data types , 2018, Sci. Comput. Program..
[11] Sebastian Burckhardt,et al. Replicated data types: specification, verification, optimality , 2014, POPL.
[12] Paulo Sérgio Almeida,et al. Composition in State-based Replicated Data Types , 2017, Bull. EATCS.
[13] Sebastian Burckhardt,et al. Understanding Eventual Consistency , 2013 .
[14] Alexey Gotsman,et al. A Framework for Transactional Consistency Models with Atomic Visibility , 2015, CONCUR.