Deakstadieđáhus: Principles of distributed systems