Instead of a linear path, the protocol creates a .
Traditional distributed computing reasoning (operational models, interleavings, failures) becomes unwieldy for asynchronous systems. Combinatorial topology re-frames the problem: distributed computing through combinatorial topology pdf
For a given input configuration (an input simplex ), the protocol complex is the set of all possible final local states after running the protocol. Instead of a linear path, the protocol creates a