 Termination detection

A protocol for detecting that a distributed computation has completed. Merely observing each participant idle at different instants need not establish a simultaneous idle state; the protocol must account for intervening changes and communications.