e outline the basic connection between distributed computing and combinatorial topology in terms of two formal models: a conventional _operational model_ , in which systems consist of communicating state machines whose behaviors unfold over time, and the _combinatorial model_ , in which all possible behaviors are captured statically using topological notions. 