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.