cap.tex

   1 % CAP theorem (Gilbert and Lynch's formulation of Brewer's Conjecture)
   2 %
   3 % CC0 1.0.
   4 % http://creativecommons.org/publicdomain/zero/1.0
   5 %
   6 % A replica of a stone inscribed by Thomas Child at Gilgal Sculpture Garden.
   7
   8 \input{preamble}
   9
  10 \begin{document}
  11
  12 \vspace*{2.6em}
  13 \begin{center}
  14 {\initcapfont{72}{76}I}%
  15 {\gilgalfont{37}{40}t is impossible \\
  16 in the asynchronous network model \\
  17 to implement a read/write data object \\
  18 that guarantees the following properties:\par}
  19 \end{center}
  20 \vspace*{0.2em}
  21 {\gilgalfont{37}{40}
  22 \hspace*{4.5em}{\gilgalfont{120}{40}\raisebox{9.5pt}{.}}\,Availability \\
  23 \hspace*{4.5em}{\gilgalfont{120}{40}\raisebox{9.5pt}{.}}\,Atomic consistency
  24 \vspace*{0.2em}
  25 \begin{center}
  26 {\gilgalfont{37}{40}in all fair executions \\ \par}
  27 {\gilgalfont{28}{40}(including those in which messages are lost).\par}
  28 \end{center}
  29
  30 \end{document}