Notes on Theory of Distributed Systems Distributed systems