Los dos libros mencionados en las otras publicaciones son buenos, sin embargo, me gusta:
- Diseño y Análisis de Algoritmos Distribuidos, Nicola Santoro.
- Introducción a los algoritmos distribuidos, Gerard Tel.
Lynch y Wattenhofer, dos grandes nombres de la teoría de sistemas distribuidos, se centran "mucho" en sistemas sincrónicos. Por otro lado, Santoro y Tel se enfocan más en sistemas asíncronos (sin olvidar los sistemas síncronos). ¡Su opinión es que la sincronía de un sistema distribuido es una "suposición adicional"! (es decir, por naturaleza, un sistema distribuido es asíncrono). Dado esto, encontrará más enfoque en la complejidad del mensaje, mientras que en los otros libros se enfocará en la complejidad del tiempo. Es una escuela diferente en informática distribuida en mi opinión.
El libro de N. Santoro fue el libro que usé para estudiar (N. Santoro es mi maestro en realidad). Después del libro, dominaría las principales ideas fundamentales de la informática distribuida. Se basa en las notas del curso y la investigación en la que participó el autor. Es por eso que no es el libro más completo. ¡Pero está muy bien escrito!
Para G. Tel book, hay un interesante nivel de formalismo. Me gusta que incluye un capítulo para algoritmos distribuidos autoestabilizadores. Creo que contiene más temas que el libro de N. Santoro.
Otro libro ampliamente disponible es Computación distribuida (Attiya y Welch, dos académicos conocidos con gran impacto en el campo). Lo usé como referencia varias veces, pero no puedo emitir un juicio.