Notes on Theory of Distributed Systems http://www.cs.yale.edu/homes/aspnes/classes/465/notes.pdf http://dump.bitcheese.net/files/ohyzose/notes.pdf все оттуда же