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

LynchBook (last edited 2009-11-24 01:43:26 by JamesAspnes)