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.

