Lecture notes Distributed Systems