A framework for establishing Strong Eventual Consistency for Conflict-free Replicated Datatypes
暂无分享,去创建一个
Alastair R. Beresford | Victor B. F. Gomes | Martin Kleppmann | Dominic P. Mulligan | A. Beresford | Martin Kleppmann | D. Mulligan
[1] Marc Shapiro,et al. A comprehensive study of Convergent and Commutative Replicated Data Types , 2011 .
[2] Ali Shoker,et al. Making operation-based CRDTs operation-based , 2014, PaPEC '14.
[3] Leslie Lamport,et al. Time, clocks, and the ordering of events in a distributed system , 1978, CACM.
[4] Michaël Rusinowitch,et al. Proving Correctness of Transformation Functions in Real-Time Groupware , 2003, ECSCW.
[5] Tobias Nipkow,et al. The Isabelle Framework , 2008, TPHOLs.
[6] Russell Brown,et al. Riak DT map: a composable, convergent replicated dictionary , 2014, PaPEC '14.
[7] Michaël Rusinowitch,et al. Formal design and verification of operational transformation algorithms for copies convergence , 2006, Theor. Comput. Sci..
[8] Marc Shapiro,et al. Conflict-Free Replicated Data Types , 2011, SSS.
[9] Ali Shoker,et al. Efficient State-Based CRDTs by Delta-Mutation , 2014, NETYS.
[10] Pascal Molli,et al. Proving correctness of transformation functions in collaborative editing systems , 2005 .
[11] Joonwon Lee,et al. Parallel Distrib , 2022 .
[12] Rachid Guerraoui,et al. Introduction to Reliable and Secure Distributed Programming , 2011 .