Note: You are looking at a static copy of the former PineWiki site, used for class notes by James Aspnes from 2003 to 2012. Many mathematical formulas are broken, and there are likely to be other bugs as well. These will most likely not be fixed. You may be able to find more up-to-date versions of some of these notes at http://www.cs.yale.edu/homes/aspnes/#classes.

1. Textbook

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.

2. Other books

Nancy A. Lynch, Distributed Algorithms. Morgan Kaufmann, 1996. ISBN 1558603484. QA76.9 D5 L963X 1996 (LC). Definitive textbook on formal analysis of distributed systems.