\newcommand{\etalchar}[1]{$^{#1}$}
\begin{thebibliography}{VDLLP20}

\bibitem[App11]{AppJetEtherpad2011}
AppJet.
\newblock Etherpad and {{EasySync Technical Manual}}.
\newblock
  https://raw.githubusercontent.com/ether/etherpad-lite/master/doc/easysync/easysync-full-description.pdf,
  2011.

\bibitem[Bay09]{BayukDatacentric2009}
Jennifer Bayuk.
\newblock Data-centric security.
\newblock {\em Computer Fraud \& Security}, 2009(3):7--11, March 2009.

\bibitem[BGYZ14]{BurckhardtReplicated2014}
Sebastian Burckhardt, Alexey Gotsman, Hongseok Yang, and Marek Zawirski.
\newblock Replicated data types: Specification, verification, optimality.
\newblock In {\em Proceedings of the 41st {{ACM SIGPLAN-SIGACT Symposium}} on
  {{Principles}} of {{Programming Languages}}}, pages 271--284, {San Diego
  California USA}, January 2014. {ACM}.

\bibitem[DHJ{\etalchar{+}}07]{DeCandiaDynamo2007}
Giuseppe DeCandia, Deniz Hastorun, Madan Jampani, Gunavardhan Kakulapati,
  Avinash Lakshman, Alex Pilchin, Swaminathan Sivasubramanian, Peter Vosshall,
  and Werner Vogels.
\newblock Dynamo: amazon's highly available key-value store.
\newblock In Thomas~C. Bressoud and M.~Frans Kaashoek, editors, {\em
  Proceedings of the 21st {ACM} Symposium on Operating Systems Principles
  ({SOSP})}, pages 205--220. {ACM}, 2007.

\bibitem[GPSW06]{GoyalAttributebased2006}
Vipul Goyal, Omkant Pandey, Amit Sahai, and Brent Waters.
\newblock Attribute-based encryption for fine-grained access control of
  encrypted data.
\newblock In {\em Proceedings of the 13th {{ACM}} Conference on {{Computer}}
  and Communications Security}, pages 89--98. {ACM}, October 2006.

\bibitem[HA90]{HuttoSlow1990}
P.~W. Hutto and M.~Ahamad.
\newblock Slow memory: Weakening consistency to enhance concurrency in
  distributed shared memories.
\newblock In {\em Proceedings.,10th {{International Conference}} on
  {{Distributed Computing Systems}}}, pages 302--309. {IEEE Computer Society},
  January 1990.

\bibitem[KB17]{KleppmannConflictFree2017}
Martin Kleppmann and Alastair~R. Beresford.
\newblock A {{Conflict-Free Replicated JSON Datatype}}.
\newblock {\em IEEE Transactions on Parallel and Distributed Systems},
  28(10):2733--2746, October 2017.

\bibitem[Kum19]{KumarFaultTolerant2019}
Saptaparni Kumar.
\newblock {\em Fault-{{Tolerant Distributed Services}} in {{Message-Passing
  Systems}}}.
\newblock PhD thesis, Texas A\&M University, 2019.

\bibitem[{Lam}79]{LamportHow1979}
{Lamport}.
\newblock How to {{Make}} a {{Multiprocessor Computer That Correctly Executes
  Multiprocess Programs}}.
\newblock {\em IEEE Transactions on Computers}, C-28(9):690--691, September
  1979.

\bibitem[Lam86]{LamportInterprocess1986}
Leslie Lamport.
\newblock On interprocess communication.
\newblock {\em Distributed Computing}, 1(2):86--101, June 1986.

\bibitem[LS88]{LiptonPRAM1988}
Richard~J. Lipton and Jonathan~S. Sandberg.
\newblock {{PRAM}}: {{A Scalable Shared Memory}}.
\newblock Technical report, Princeton University, Department of Computer
  Science, 1988.

\bibitem[Mis86]{MisraAxioms1986}
J.~Misra.
\newblock Axioms for memory access in asynchronous hardware systems.
\newblock {\em ACM Transactions on Programming Languages and Systems},
  8(1):142--153, January 1986.

\bibitem[MK23]{MisraByzantine2021}
Anshuman Misra and Ajay~D. Kshemkalyani.
\newblock Byzantine fault-tolerant causal ordering.
\newblock In {\em 24th International Conference on Distributed Computing and
  Networking, ({ICDCN})}, pages 100--109. {ACM}, 2023.

\bibitem[MKE09]{MullerDistributed2009}
Sascha M{\"u}ller, Stefan Katzenbeisser, and Claudia Eckert.
\newblock Distributed {{Attribute-Based Encryption}}.
\newblock In Pil~Joong Lee and Jung~Hee Cheon, editors, {\em Information
  {{Security}} and {{Cryptology}} {\textendash} {{ICISC}} 2008}, volume 5461,
  pages 20--36. {Springer Berlin Heidelberg}, {Berlin, Heidelberg}, 2009.

\bibitem[Mos93]{MosbergerMemory1993}
David Mosberger.
\newblock Memory consistency models.
\newblock {\em ACM SIGOPS Operating Systems Review}, 27(1):18--26, January
  1993.

\bibitem[NJDK16]{NicolaescuRealTime2016}
Petru Nicolaescu, Kevin Jahns, Michael Derntl, and Ralf Klamma.
\newblock Near {{Real-Time Peer-to-Peer Shared Editing}} on {{Extensible Data
  Types}}.
\newblock In {\em Proceedings of the 19th {{International Conference}} on
  {{Supporting Group Work}}}, pages 39--49. {ACM}, November 2016.

\bibitem[Per17]{MPBook}
Matthieu Perrin.
\newblock {\em {Concurrence et coh{\'e}rence dans les syst{\`e}mes
  r{\'e}partis}}.
\newblock {ISTE Group}, September 2017.

\bibitem[Ray18]{Raynal18}
Michel Raynal.
\newblock {\em Fault-{{Tolerant Message-Passing Distributed Systems}}: {{An
  Algorithmic Approach}}}.
\newblock {Springer}, September 2018.

\bibitem[RBMC20]{RoseZero2020}
Scott Rose, Oliver Borchert, Stu Mitchell, and Sean Connelly.
\newblock Zero {{Trust Architecture}}.
\newblock Technical report, {National Institute of Standards and Technology},
  August 2020.

\bibitem[RS95]{RaynalCausal1995}
Michel Raynal and Andr{\'e} Schiper.
\newblock From causal consistency to sequential consistency in shared memory
  systems.
\newblock In Gerhard Goos, Juris Hartmanis, Jan Leeuwen, and P.~S. Thiagarajan,
  editors, {\em Foundations of {{Software Technology}} and {{Theoretical
  Computer Science}}}, volume 1026, pages 180--194. {Springer Berlin
  Heidelberg}, {Berlin, Heidelberg}, 1995.

\bibitem[SCB22]{SomasekaramHighAvailability2022}
Premathas Somasekaram, Radu Calinescu, and Rajkumar Buyya.
\newblock High-{{Availability Clusters}}: {{A Taxonomy}}, {{Survey}}, and
  {{Future Directions}}.
\newblock {\em Journal of Systems and Software}, 187:111208, May 2022.

\bibitem[SFK{\etalchar{+}}09]{SinghZeno2009}
Atul Singh, Pedro Fonseca, Petr Kuznetsov, Rodrigo Rodrigues, and Petros
  Maniatis.
\newblock Zeno: Eventually consistent byzantine-fault tolerance.
\newblock In Jennifer Rexford and Emin~G{\"{u}}n Sirer, editors, {\em
  Proceedings of the 6th {USENIX} Symposium on Networked Systems Design and
  Implementation ({NSDI})}, pages 169--184. {USENIX} Association, 2009.

\bibitem[SPBZ11]{ShapiroConflictFree2011}
Marc Shapiro, Nuno Pregui{\c c}a, Carlos Baquero, and Marek Zawirski.
\newblock Conflict-{{Free Replicated Data Types}}.
\newblock In {\em Stabilization, {{Safety}}, and {{Security}} of {{Distributed
  Systems}}}, volume 6976, pages 386--400. {Springer Berlin Heidelberg},
  {Berlin, Heidelberg}, 2011.

\bibitem[SS05]{SaitoOptimistic2005}
Yasushi Saito and Marc Shapiro.
\newblock Optimistic {{Replication}}.
\newblock {\em ACM Computing Surveys}, 37(1):42, 2005.

\bibitem[SS19]{ShakaramiRefresh2019}
Mehrnoosh Shakarami and Ravi Sandhu.
\newblock Refresh {{Instead}} of {{Revoke Enhances Safety}} and
  {{Availability}}: {{A Formal Analysis}}.
\newblock In {\em 33th {{IFIP Annual Conference}} on {{Data}} and
  {{Applications Security}} and {{Privacy}} ({{DBSec}})}, volume LNCS-11559,
  page 301. {Springer International Publishing}, July 2019.

\bibitem[TWZP19]{TsengDistributed2019}
Lewis Tseng, Zezhi Wang, Yajie Zhao, and Haochen Pan.
\newblock Distributed {{Causal Memory}} in the {{Presence}} of {{Byzantine
  Servers}}.
\newblock In {\em {{IEEE}} 18th {{International Symposium}} on {{Network
  Computing}} and {{Applications}} ({{NCA}})}, pages 1--8, September 2019.

\bibitem[VDLLP20]{VanDerLindePractical2020}
Albert Van Der~Linde, Jo{\~a}o Leit{\~a}o, and Nuno Pregui{\c c}a.
\newblock Practical client-side replication: Weak consistency semantics for
  insecure settings.
\newblock {\em Proceedings of the VLDB Endowment}, 13(12):2590--2605, August
  2020.

\bibitem[Yjs23]{Yjs2023}
Yjs/yjs: Shared data types for building collaborative software.
\newblock https://github.com/yjs/yjs, December 2023.

\bibitem[YLWV17]{YanFlexible2017}
Zheng Yan, Xueyun Li, Mingjun Wang, and Athanasios~V. Vasilakos.
\newblock Flexible {{Data Access Control Based}} on {{Trust}} and
  {{Reputation}} in {{Cloud Computing}}.
\newblock {\em IEEE Transactions on Cloud Computing}, 5(3):485--498, July 2017.

\end{thebibliography}
