topic 1 :

1. Atomic processes

2. Mutual exclusion

3. distributed consensus

4. distributed shared memory fakete

5. automata based model systems to model distributed systems

6. atomic memory for static networks

7. rambo algorithm

8. rambo algorithm 4 steps

9. implementing reconfiguration in rambo

10. implementing consensus dls paxos

11. impossibility results

12. cremers hibbard 76 proof (impossibility of mutual exclusion)

13. burns lynch 93 theorem (mututal exlcusion for n shared processes require 2n shared vairables)

14. consensus impossibility results

15. distributed consensus

16. lower bound in synchronous systems

17. lower bound proof f =1

18. flp impossibility proof