Distributed algorithms by nancy lynch