Guessing games and distributed computations in synchronous networks

A distributed system is a network G=(V,E) of |V|=n processors connected by |E|=e direct communication links, where each processor has a local non-shared memory and can communicate by sending messages to and receiving messages from its neighbours