Detecting termination of distributed computations by external agents | IEEE Conference Publication | IEEE Xplore