Fundamentos de la computación distribuida: algoritmos, protocolos y verificación
1999·no ficcion
Este libro aborda los principios y técnicas subyacentes a los sistemas y algoritmos distribuidos, incluyendo sus propiedades, modelos y métodos de verificación, ofreciendo una perspectiva rigurosa sobre cómo construir sistemas fiables en un entorno distribuido.

