Distributed algorithms nancy lynch