Class materials for a distributed systems lecture series