Materials

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/distributed-systems-3rd-edition-2017/
• Design and Analysis of Distributed Algorithms- N. Santoro, 2008.

Papers and other sources

Please refer to the course log in Lectures section, for the slides.

Max algorithm is described in this link pp. 1-4

Logical and vector clocks: here

Original paper in which Lamport proposed the logical clock: here

Additional References

• Leslie Lamport on logical clock: https://www.youtube.com/watch?v=gY9VwiPTa60
• Relativity and causality violation: https://plus.maths.org/content/violating-causality