Distributed Computing in Shared Memory and Networks

	Slides	Exercises	Supplementary
Class 1	Introduction, safety and liveness in distributed systems	Quiz 1	Deadlock Empire game Mini-mooc
Class 2	Consensus and universal construction	Quiz 2	Bonus exercise
Class 3	Distributed services: Paxos, BFT, Blockchain	Quiz 3

Lecture Notes on Concurrent Computing, 2018: pdf
Materials of the First Summer School on Practice and Theory of Concurrent Computing
L. Lamport: The part-time parliament. ACM Transactions on Computer Systems (TOCS) TOCS Homepage archive Volume 16 Issue 2, May 1999. pdf
L. Lamport: Paxos Made Simple.pdf
Miguel Castro, Barbara Liskov: Practical byzantine fault tolerance and proactive recovery. ACM Trans. Comput. Syst. 20(4): 398-461 (2002) pdf
Arvind Narayanan and Jeremy Clark: Bitcoin's Academic Pedigree. CACM, 15 (4), 2017 pdf
Juan A. Garay, Aggelos Kiayias, Nikos Leonardos: The Bitcoin Backbone Protocol: Analysis and Applications. EUROCRYPT (2) 2015: 281-310 pdf