This paper[1] discusses “termination detection” which consensus can directly be built on with trivial proof. It assumes a single environment, and while mathemat

This paper[1] discusses “termination detection” which consensus can directly be built on with trivial proof. It assumes a single environment, and while mathematically that is a kind of graph node it really maps to all outside sources of input and not a cluster member. [1] https://www.cs.utexas.edu/users/EWD/transcriptions/EWD06xx/EWD687a.html https://www.cs.utexas.edu/users/EWD/transcriptions/EWD06xx/E...