EECS 591 Distributed systems. University of Michigan