Safe termination detection in an asynchronous distributed system when processes may crash and recover. - Neeraj Mittal; Kuppahalli L. Phaneesh; Felix C. Freiling (Theor. Comput. Sci., 2009)