R. K. Arora S. P. Rana M. N. Gupta Distributed Termination Detection Algorithm for Distributed Computations. 311-314 1986 22 Inf. Process. Lett. 6 db/journals/ipl/ipl22.html#AroraRG86