Slide 1
Slide 1 text
No content
Slide 2
Slide 2 text
No content
Slide 3
Slide 3 text
No content
Slide 4
Slide 4 text
No content
Slide 5
Slide 5 text
No content
Slide 6
Slide 6 text
No content
Slide 7
Slide 7 text
No content
Slide 8
Slide 8 text
No content
Slide 9
Slide 9 text
No content
Slide 10
Slide 10 text
No content
Slide 11
Slide 11 text
No content
Slide 12
Slide 12 text
No content
Slide 13
Slide 13 text
No content
Slide 14
Slide 14 text
No content
Slide 15
Slide 15 text
No content
Slide 16
Slide 16 text
No content
Slide 17
Slide 17 text
No content
Slide 18
Slide 18 text
No content
Slide 19
Slide 19 text
No content
Slide 20
Slide 20 text
No content
Slide 21
Slide 21 text
No content
Slide 22
Slide 22 text
No content
Slide 23
Slide 23 text
No content
Slide 24
Slide 24 text
No content
Slide 25
Slide 25 text
No content
Slide 26
Slide 26 text
No content
Slide 27
Slide 27 text
No content
Slide 28
Slide 28 text
No content
Slide 29
Slide 29 text
No content
Slide 30
Slide 30 text
No content
Slide 31
Slide 31 text
No content
Slide 32
Slide 32 text
No content
Slide 33
Slide 33 text
No content
Slide 34
Slide 34 text
No content
Slide 35
Slide 35 text
No content
Slide 36
Slide 36 text
No content
Slide 37
Slide 37 text
No content
Slide 38
Slide 38 text
No content
Slide 39
Slide 39 text
No content
Slide 40
Slide 40 text
References
1. Marc Shapiro, Nuno Preguiça, Carlos Baquero, and Marek Zawirski: “Conflict-Free
Replicated Data Types,” at 13th International Symposium on Stabilization, Safety,
and Security of Distributed Systems (SSS), pages 386–400, October 2011.
https://doi.org/10.1007/978-3-642-24550-3_29
2. Hyun-Gul Roh, Myeongjae Jeon, Jin-Soo Kim, and Joonwon Lee: “Replicated
abstract data types: Building blocks for collaborative application,” Journal of
Parallel and Distributed Computing 71(3): 354–368, March 2011.
https://doi.org/10.1016/j.jpdc.2010.12.006
3. Victor Grishchenko: “Citrea and Swarm: Partially ordered op logs in the browser,”
at 1st Workshop on Principles and Practice of Eventual Consistency (PaPEC), April
2014. https://doi.org/10.1145/2596631.2596641
4. Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, et al.: “Specification and
Complexity of Collaborative Text Editing,” at ACM Symposium on Principles of
Distributed Computing (PODC), pages 259–268, July 2016.
https://doi.org/10.1145/2933057.2933090
5. Todd J Green, Shan Shan Huang, Boon Thau Loo, and Wenchao Zhou: “Datalog
and Recursive Query Processing,” Foundations and Trends in Databases 5(2):
105–195, November 2013. https://doi.org/10.1561/1900000017