Paul Johnson Neeraj Mittal A Distributed Termination Detection Algorithm for Dynamic Asynchronous Systems. 343-351 2009 ICDCS http://dx.doi.org/10.1109/ICDCS.2009.16 conf/icdcs/2009 db/conf/icdcs/icdcs2009.html#JohnsonM09