Leader Election. Leader Election: the idea We study Leader Election in rings.
Message Passing Systems A Formal Model. The System Topology – network (connected undirected graph) Processors (nodes) Communication channels (edges) Algorithm.