PineWiki
1. Course textbook
Nancy A. Lynch, Distributed Algorithms. Morgan Kaufmann, 1996. ISBN 1558603484. QA76.9 D5 L963X 1996 (LC). Definitive textbook on formal analysis of distributed systems.
2. Other distributed computing textbooks
Hagit Attiya and Jennifer Welch, Distributed computing : fundamentals, simulations, and advanced topics, second edition. Wiley, 2004. QA76.9.D5 A75X 2004 (LC). ISBN 0-471-45324-2.
On-line version: http://dx.doi.org/10.1002/0471478210. (This may not work outside Yale.)
Errata: http://www.cs.technion.ac.il/~hagit/DC/2nd-errata.html.
