Spanner, TrueTime and the CAP Theorem

   Abstract