Termination detection
= 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.