Overview Material

  1. Designing Data-Intensive Applications – Excellent book that provides a broad and extensive review of modern Distributed Systems including their strengths and weaknesses.
  2. Dr. Martin Kleppmann’s Distributed Systems Class Lecture Notes & Videos – Very condensed overview of Distributed Systems theory.

Safety, Liveness and Eventual Consistency

  1. Vogels, Werner. “Eventually Consistent” Communications of the ACM, January 2009, Vol. 52, No. 1, pp 40-44. https://cacm.acm.org/magazines/2009/1/15666-eventually-consistent/fulltext. Accessed: January 3, 2022.
  2. Alpern, Bowen and Schneider, Fred B. “Defining Liveness”. Information Processing Letters 21, 7 October 1985, pp. 181-185. https://www.cs.cornell.edu/fbs/publications/DefLiveness.pdf. Accessed: January 3, 2022.