Ten-Hwang Lai Li-Fen Wu An (N-1)-Resilient Algorithm for Distributed Termination Detection. 63-78 1995 6 IEEE Trans. Parallel Distrib. Syst. 1 http://www.computer.org/tpds/td1995/l0063abs.htm db/journals/tpds/tpds6.html#LaiW95