@book{kshemkalyani2011distributed,
  title = {Distributed Computing: Principles, Algorithms, and Systems},
  author = {Kshemkalyani, Ajay D. and Singhal, Mukesh},
  year = {2011},
  publisher = {Cambridge University Press},
}

@article{lahiri2002simple,
  title = {A Simple Proof of {Suzumura's} Extension Theorem for Finite Domains with Applications},
  author = {Lahiri, Somdeb},
  journal = {Advances in Decision Sciences},
  volume = {6},
  number = {3},
  pages = {183--190},
  year = {2002},
  publisher = {Hindawi Publishing Corporation},
}

@article{klein2018java,
  title={Java Source and Bytecode Formalizations in Isabelle: $\mu$Java},
  author={Klein, Gerwin and Nipkow, Tobias and von Oheimb, David and Pusch, Cornelia and Strecker, Martin}
}

@inproceedings{ellis1989concurrency,
  title = {Concurrency Control in Groupware Systems},
  author = {Ellis, Clarence A. and Gibbs, Simon J.},
  booktitle = {ACM SIGMOD Record},
  volume = {18},
  number = {2},
  pages = {399--407},
  year = {1989},
  organization = {ACM},
}

@article{li2010admissibility,
  title = {An Admissibility-based Operational Transformation Framework for Collaborative Editing Systems},
  author = {Li, Du and Li, Rui},
  journal = {Computer Supported Cooperative Work (CSCW)},
  volume = {19},
  number = {1},
  pages = {1--43},
  year = {2010},
  publisher = {Springer},
}

@article{letia2010consistency,
  title = {Consistency without Concurrency Control in Large, Dynamic Systems},
  author = {Letia, Mihai and Pregui{\c{c}}a, Nuno and Shapiro, Marc},
  journal = {ACM SIGOPS Operating Systems Review},
  volume = {44},
  number = {2},
  pages = {29--34},
  year = {2010},
  publisher = {ACM},
}

@inproceedings{weiss2009logoot,
  title = {Logoot: A Scalable Optimistic Replication Algorithm for Collaborative Editing on {P2P} networks},
  author = {Weiss, St{\'e}phane and Urso, Pascal and Molli, Pascal},
  booktitle = {International Conference on Distributed Computing Systems (ICDCS)},
  pages = {404--412},
  year = {2009},
  organization = {IEEE},
}

@inproceedings{brown2014riak,
  title = {Riak {DT} Map: a Composable, Convergent Replicated Dictionary},
  author = {Brown, Russell and Cribbs, Sean and Meiklejohn, Christopher and Elliott, Sam},
  booktitle = {Workshop on Principles and Practice of Eventual Consistency},
  pages = {1},
  year = {2014},
  organization = {ACM},
}

@inproceedings{oster2006data,
  title = {Data Consistency for {P2P} Collaborative Editing},
  author = {Oster, G{\'e}rald and Urso, Pascal and Molli, Pascal and Imine, Abdessamad},
  booktitle = {Conference on Computer Supported Cooperative Work (CSCW)},
  pages = {259--268},
  year = {2006},
  organization = {ACM},
}

@techreport{oster2005real,
  title = {Real Time Group Editors without Operational Transformation},
  author = {Oster, G{\'e}rald and Urso, Pascal and Molli, Pascal and Imine, Abdessamad},
  year = {2005},
  institution = {INRIA},
  number = {RR-5580},
}

@inproceedings{nedelec2013lseq,
  title = {{LSEQ}: an Adaptive Structure for Sequences in Distributed Collaborative Editing},
  author = {N{\'e}delec, Brice and Molli, Pascal and Mostefaoui, Achour and Desmontils, Emmanuel},
  booktitle = {Symposium on Document Engineering (DocEng)},
  pages = {37--46},
  year = {2013},
  organization = {ACM},
}

@misc{dallaway2016wootjs,
  title = {{WOOT} Model for {Scala} and {JavaScript} via {Scala.js}},
  author = {Dallaway, Richard},
  year = {2016},
  howpublished = {\url{https://github.com/d6y/wootjs}},
  note = {Accessed: 2017-01-25},
}

@misc{emanouilov2016woot,
  title = {Collaborative Rich Text Editor},
  author = {Emanouilov, Victor},
  year = {2016},
  howpublished = {\url{https://github.com/kroky/woot}},
  note = {Accessed: 2017-01-25},
}

@misc{kaplan2016woot,
  title = {A Real Time Collaboration Toy Project Based on {WOOT}},
  author = {Kaplan, Ryan},
  year = {2016},
  howpublished = {\url{https://github.com/ryankaplan/woot-collaborative-editor}},
  note = {Accessed: 2017-01-25},
}

@misc{olson2016woot,
  title = {Real Time Group Editor without Operational Transformation.},
  author = {Olson, Tyler},
  year = {2016},
  howpublished = {\url{https://github.com/TGOlson/woot-haskell}},
  note = {Accessed: 2017-01-25},
}

@inproceedings{Aho:1973:FLC:800125.804056,
  title = {On Finding Lowest Common Ancestors in Trees},
  author = {Aho, Alfred V. and Hopcroft, John E. and Ullman, Jeffrey D.},
  booktitle = {Symposium on Theory of Computing (STOC)},
  pages = {253--265},
  year = {1973},
  publisher = {ACM},
} 

@inproceedings{shapiro2011conflict,
  title = {Conflict-Free Replicated Data Types},
  author = {Shapiro, Marc and Pregui\c{c}a, Nuno and Baquero, Carlos and Zawirski, Marek},
  booktitle = {International Conference on Stabilization, Safety, and Security of Distributed Systems (SSS)},
  pages = {386--400},
  year = {2011},
  publisher = {Springer-Verlag},
}

@incollection{jelasity2011gossip,
  title = {Gossip},
  author = {Jelasity, M{\'a}rk},
  booktitle = {Self-Organising Software},
  pages = {139--162},
  year = {2011},
  publisher = {Springer},
}

@inproceedings{weiss2007wooki,
  title = {Wooki: a {P2P} Wiki-based Collaborative Writing Tool},
  author = {Weiss, St{\'e}phane and Urso, Pascal and Molli, Pascal},
  booktitle = {International Conference on Web Information Systems Engineering},
  pages = {503--512},
  year = {2007},
  organization = {Springer},
}

@inproceedings{preguica2009commutative,
  title = {A Commutative Replicated Data Type for Cooperative Editing},
  author = {Preguica, Nuno and Marques, Joan Manuel and Shapiro, Marc and Letia, Mihai},
  booktitle = {International Conference on Distributed Computing Systems (ICDCS)},
  pages = {395--403},
  year = {2009},
  organization = {IEEE},
}

@inproceedings{nacer2011,
  title = {Evaluating {CRDTs} for Real-time Document Editing},
  author = {Ahmed-Nacer, Mehdi and Ignat, Claudia-Lavinia and Oster, G{\'e}rald and Roh, Hyun-Gul and Urso, Pascal},
  booktitle = {Symposium on Document Engineering (DocEng)},
  pages = {103--112},
  year = {2011},
  publisher = {ACM},
} 

@inproceedings{molli2006tombstone,
  title = {Tombstone Transformation Functions for Ensuring Consistency in Collaborative Editing Systems},
  author = {Oster, G{\'e}rald and Molli, Pascal and Urso, Pascal and Imine, Abdessamad},
  booktitle = {International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom)},
  pages = {1--10},
  year = {2006},
  organization = {IEEE},
}
@techreport{roh2009optimistic,
  title = {Optimistic Operations for Replicated Abstract Data Types},
  author = {Roh, Hyun-Gul and Kim, Jin-Soo and Lee, Joonwon and Maeng, Seungryoul},
  year = {2009},
}

@article{kumawat2010survey,
  title = {A Survey on Operational Transformation Algorithms: Challenges, Issues and Achievements},
  author = {Kumawat, Santosh and Khunteta, Ajay},
  journal = {International Journal of Computer Applications},
  volume = {3},
  number = {12},
  pages = {30--38},
  year = {2010},
  publisher = {FCS},
}

@techreport{shapiro:inria-00555588,
  TITLE = {{A comprehensive study of Convergent and Commutative Replicated Data Types}},
  AUTHOR = {Shapiro, Marc and Pregui{\c c}a, Nuno and Baquero, Carlos and Zawirski, Marek},
  URL = {https://hal.inria.fr/inria-00555588},
  TYPE = {Research Report},
  NUMBER = {RR-7506},
  PAGES = {50},
  INSTITUTION = {{Inria -- Centre Paris-Rocquencourt ; INRIA}},
  YEAR = {2011},
  MONTH = Jan,
  KEYWORDS = {eventual consistency ; optimistic replication ; replicated data types ; distributed algorithms ; distributed systems ; Data replication ; commutative operations},
  PDF = {https://hal.inria.fr/inria-00555588/file/techreport.pdf},
  HAL_ID = {inria-00555588},
  HAL_VERSION = {v1},
}

@article{gomes2017verifying,
  title = {Verifying Strong Eventual Consistency in Distributed Systems},
  author = {Gomes, Victor B. F. and Kleppmann, Martin and Mulligan, Dominic P. and Beresford, Alastair R.},
  journal = {Proceedings of the ACM on Programming Languages (PACMPL)},
  volume = {1},
  number = {OOPSLA},
  year = {2017},
  publisher = {ACM},
}

@inproceedings{Briot2016,
 title = {High Responsiveness for Group Editing CRDTs},
 author = {Briot, Lo{\"\i}ck and Urso, Pascal and Shapiro, Marc},
 booktitle = {International Conference on Supporting Group Work (GROUP)},
 year = {2016},
 pages = {51--60},
 publisher = {ACM},
}

@article{Lamport1978,
 title = {Time, Clocks, and the Ordering of Events in a Distributed System},
 author = {Lamport, Leslie},
 journal = {Communications of the ACM},
 volume = {21},
 number = {7},
 month = {July},
 year = {1978},
 pages = {558--565},
 publisher = {ACM},
}

@article{raynal1991,
 title = {The causal ordering abstraction and a simple way to implement it},
 author = {Raynal, Michel and Schiper, Andr{\'e} and Toueg, Sam},
 journal = {Information Processing Letters},
 volume = 39,
 number = 6,
 pages = {343--350},
 year = 1991,
}

@book{raynal2013,
  author    = {Michel Raynal},
  title     = {Distributed Algorithms for Message-Passing Systems},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38123-2},
  doi       = {10.1007/978-3-642-38123-2},
  isbn      = {978-3-642-38122-5},
  timestamp = {Tue, 16 May 2017 14:01:34 +0200},
  biburl    = {https://dblp.org/rec/bib/books/daglib/0032304},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{birman1991lightweight,
  title={Lightweight causal and atomic group multicast},
  author={Birman, Kenneth and Schiper, Andre and Stephenson, Pat},
  journal={ACM Transactions on Computer Systems (TOCS)},
  volume={9},
  number={3},
  pages={272--314},
  year={1991},
  publisher={ACM}
}

@InProceedings{Mostefaoui2017,
author="Most{\'e}faoui, Achour
and Weiss, St{\'e}phane",
editor="Malyshkin, Victor",
title="Probabilistic Causal Message Ordering",
booktitle="Parallel Computing Technologies",
year="2017",
publisher="Springer International Publishing",
address="Cham",
pages="315--326",
isbn="978-3-319-62932-2"
}

@inproceedings{yen2003scalable,
  title={A scalable scheme for causal message ordering},
  author={Yen, Li-Hsing and Chi, Kuang-Hwei and Huang, Ting-Lu},
  booktitle={Proceedings of the National Computer Symposium (NCS'03), Taiwan},
  year={2003}
}

@misc{wardX,
 author = {Ward, Paul A. S.},
 title = {Algorithms for Causal Message Ordering in Distributed Systems},
}

@inproceedings{DBLP:conf/forte/ZellerBP14,
  author    = {Peter Zeller and
               Annette Bieniusa and
               Arnd Poetzsch{-}Heffter},
  editor    = {Erika {\'{A}}brah{\'{a}}m and
               Catuscia Palamidessi},
  title     = {Formal Specification and Verification of CRDTs},
  booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
               - 34th {IFIP} {WG} 6.1 International Conference, {FORTE} 2014, Held
               as Part of the 9th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8461},
  pages     = {33--48},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-43613-4\_3},
  doi       = {10.1007/978-3-662-43613-4\_3},
  timestamp = {Mon, 06 Jan 2020 16:23:43 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/forte/ZellerBP14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}