Notes on Theory of Distributed Systems by James Aspnes.
From the preface:
These are notes for the Spring 2014 semester version of the Yale course CPSC 465/565 Theory of Distributed Systems. This document also incorporates the lecture schedule and assignments, as well as some sample assignments from previous semesters. Because this is a work in progress, it will be updated frequently over the course of the semester.
Notes from Fall 2011 can be found at http://www.cs.yale.edu/homes/aspnes/classes/469/notes-2011.pdf.
Notes from earlier semesters can be found at http://pine.cs.yale.edu/pinewiki/465/.
Much of the structure of the course follows the textbook, Attiya and Welch’s Distributed Computing [AW04], with some topics based on Lynch’s Distributed Algorithms [Lyn96] and additional readings from the research literature. In most cases you’ll find these materials contain much more detail than what is presented here, so it is better to consider this document a supplement to them than to treat it as your primary source of information.
…
When something exceeds three hundred (> 300) pages, I have trouble calling it “notes.” 😉
A treasure trove of information on distributed computing.
I first saw this in a tweet by Henry Robinson.