CS 451, Distributed Algorithms