Material

Books

The main book is:  Introduction to Reliable and Secure Distributed Programming - C. Chacin, R. Guerraoui, and L. Rodrigues. 2011

Other books that you can read are:

• Distributed Algorithms - N. Lynch. 1998.

• Distributed Computing - H. Attiya, J.L. Welch. 2004

• Distributed Systems 3rd edition - M. Van Steen and A.S. Tanenbaum.  The authors give away free copies: https://www.distributed-systems.net/index.php/books/ds3/

• Design and Analysis of Distributed Algorithms- N. Santoro, 2008.

• Fault-Tolerant Message-Passing Distributed Systems - Michel Raynal 2017