@phdthesis(Abdu:2005,
 author       = {Abdul-Rahman, A.},
 year         = {2005},
 title        = {{A Framework for Decentralised Trust Reasoning}},
 school       = {U. London},
)
@inproceedings(Alme+Leit+Rodr:2013,
 author       = {S. Almeida and Leit{\~{a}}o, J. and L. E. T. Rodrigues},
 year         = {2013},
 title        = {{ChainReaction: A Causal+ Consistent Datastore Based on Chain Replication}},
 editor       = {Z. Hanz{\'{a}}lek and H. H{\"{a}}rtig and M. Castro and M. F. Kaashoek},
 booktitle    = {$8^\mathit{th}$ EuroSys},
 publisher    = {{ACM}},
 pages        = {85--98},
 doi          = {10.1145/2465351.2465361},
)
@inproceedings(Bail+Feke+Ghod+Hell+Stoi:2012,
 author       = {P. Bailis},
 year         = {2012},
 title        = {{The Potential Dangers of Causal Consistency and an Explicit Solution}},
 editor       = {M. J. Carey and S. Hand},
 booktitle    = {{$3^{rd}$ SOCC}},
 publisher    = {{ACM}},
 pages        = {22--1--22--7},
 doi          = {10.1145/2391229.2391251},
)
@phdthesis(BenZ:2011,
 author       = {Ben-Zvi, I.},
 year         = {2010},
 title        = {{Causality, Knowledge and Coordination in Distributed Systems}},
 school       = {Technion},
)
@inproceedings(BenZ+Mose:2010,
 author       = {Ben{-}Zvi, I. and Y. Moses},
 year         = {2010},
 title        = {{Beyond Lamport's \emph{Happened-Before}: On the Role of Time Bounds in Synchronous Systems}},
 editor       = {N. A. Lynch and A. A. Shvartsman},
 booktitle    = {$24\mathit{th}$ DISC},
 series       = {LNCS},
 volume       = {6343},
 publisher    = {Springer},
 pages        = {421--436},
 doi          = {10.1007/978-3-642-15763-9\_42},
)
@article(Burc:2014,
 author       = {S. Burckhardt},
 year         = {2014},
 title        = {{Principles of Eventual Consistency}},
 journal      = {FTPL},
 volume       = {1},
 number       = {1-2},
 pages        = {1--150},
 doi          = {10.1561/2500000011},
)
@article(Char:1991,
 author       = {Charron{-}Bost, B.},
 year         = {1991},
 title        = {{Concerning the Size of Logical Clocks in Distributed Systems}},
 journal      = {Inf. Proc. Lett.},
 volume       = {39},
 number       = {1},
 pages        = {11--16},
 doi          = {10.1016/0020-0190(91)90055-M},
)
@inproceedings(Deca+Hast+Jamp+Kaku+Laks+Pilc+Siva+Voss+Voge:2007,
 author       = {G. DeCandia},
 year         = {2007},
 title        = {{Dynamo: Amazon's Highly Available Key-Value Store}},
 booktitle    = {$21^\mathit{st}$ SOSP},
 pages        = {205--220},
 doi          = {10.1145/1294261.1294281},
)
@inproceedings(Du+Elni+Roy+Zwae:2013,
 author       = {J. Du},
 year         = {2013},
 title        = {{Orbe: Scalable Causal Consistency using Dependency Matrices and Physical Clocks}},
 editor       = {G. M. Lohman},
 booktitle    = {SOCC},
 publisher    = {{ACM}},
 pages        = {11:1--11:14},
 doi          = {10.1145/2523616.2523628},
)
@inproceedings(Du+Iorg+Roy+Zwae:2014,
 author       = {J. Du},
 year         = {2014},
 title        = {{Closing the Performance Gap between Causal Consistency and Eventual Consistency}},
 booktitle    = {$1^\mathit{st}$ PaPEC},
 volume       = {EPFL-CONF-198281},
 publisher    = {ACM},
)
@incollection(Fagi+Halp+Mose+Vard:2003,
 author       = {R. Fagin},
 year         = {2003},
 title        = {{Common Knowledge Revisited}},
 editor       = {V. F. Hendricks and J{\o}rgensen, K. F. and S. A. Pedersen},
 booktitle    = {{Knowledge Contributors}},
 series       = {{Synthese Library}},
 volume       = {322},
 publisher    = {Springer Netherlands},
 pages        = {87--104},
 doi          = {10.1007/978-94-007-1001-6\_5},
)
@inproceedings(Gilb+Lync:2002,
 author       = {S. Gilbert and N. Lynch},
 year         = {2002},
 title        = {{Brewer's Conjecture and the Feasibility of Consistent Available Partition-Tolerant Web Services}},
 volume       = {33},
 pages        = {51--59},
 doi          = {10.1145/564585.564601},
)
@inproceedings(Gonc+Mose:2013,
 author       = {Y. A. Gonczarowski and Y. Moses},
 year         = {2013},
 title        = {Timely Common Knowledge},
 editor       = {B. C. Schipper},
 booktitle    = {$14^\mathit{th}$ TARK},
)
@inproceedings(Gots+Yang+Ferr+Naja+Shap:2016,
 author       = {A. Gotsman},
 year         = {2016},
 title        = {{'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems}},
 editor       = {Bod{\'{\i}}k, R. and R. Majumdar},
 booktitle    = {$43^\mathit{rd}$ POPL},
 publisher    = {{ACM}},
 pages        = {371--384},
 doi          = {10.1145/2837614.2837625},
)
@article(Halp+Mose:1990,
 author       = {J. Y. Halpern and Y. Moses},
 year         = {1990},
 title        = {{Knowledge and Common Knowledge in a Distributed Environment}},
 journal      = {JACM},
 volume       = {37},
 number       = {3},
 pages        = {549--587},
 doi          = {10.1145/79147.79161},
)
@article(Lamp:1978,
 author       = {L. Lamport},
 year         = {1978},
 title        = {{Time, Clocks, and the Ordering of Events in a Distributed System}},
 journal      = {Commun. ACM},
 volume       = {21},
 number       = {7},
 pages        = {558--565},
 doi          = {10.1145/359545.359563},
)
@inproceedings(Lloy+Free+Kami+Ande:2011,
 author       = {W. Lloyd},
 year         = {2011},
 title        = {{Don't Settle for Eventual: Scalable Causal Consistency for Wide-Area Storage with COPS}},
 booktitle    = {$23^\mathit{rd}$ SOSP},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {401--416},
 doi          = {10.1145/2043556.2043593},
)
@inproceedings(Lloy+Free+Kami+Ande:2013,
 author       = {W. Lloyd},
 year         = {2013},
 title        = {{Stronger Semantics for Low-Latency Geo-Replicated Storage}},
 editor       = {N. Feamster and J. C. Mogul},
 booktitle    = {$10^\mathit{th}$ NSDI},
 publisher    = {USENIX},
 pages        = {313--328},
)
@article(Schn:1990,
 author       = {F. B Schneider},
 year         = {1990},
 title        = {{Implementing Fault-Tolerant Services using the State Machine Approach: A Tutorial}},
 journal      = {ACM CSUR},
 volume       = {22},
 number       = {4},
 pages        = {299--319},
 doi          = {10.1145/98163.98167},
)
@article(Schw+Matt:1994,
 author       = {R. Schwarz and F. Mattern},
 year         = {1994},
 title        = {{Detecting Causal Relationships in Distributed Computations: In Search of the Holy Grail}},
 journal      = {Dist. Comp.},
 volume       = {7},
 number       = {3},
 pages        = {149--174},
 doi          = {10.1007/BF02277859},
)
@inproceedings(Serg+Baqu+Gonc+Preg+Font:2014,
 author       = {S{\'{e}}rgio Almeida, P.},
 year         = {2014},
 title        = {{Scalable and Accurate Causality Tracking for Eventually Consistent Stores}},
 booktitle    = {$14^\mathit{th}$ IFIP DAIS},
 pages        = {67--81},
 doi          = {10.1007/978-3-662-43352-2\_6},
)
@book(Yap:1998,
 author       = {C. K. Yap},
 year         = {1998},
 title        = {{Theory of Complexity Classes}},
 volume       = {1},
 note         = {\href{https://cs.nyu.edu/yap/book/complexity/}{\texttt{https://cs.nyu.edu/yap/book/complexity/}}},
)