SMS dit: Principles of distributed systems