Notes on Theory of Distributed Systems [lecture notes] pdf Download