Neeraj Mittal Felix C. Freiling Subbarayan Venkatesan Lucia Draque Penso On termination detection in crash-prone distributed systems with failure detectors. 855-875 2008 68 J. Parallel Distrib. Comput. 6 http://dx.doi.org/10.1016/j.jpdc.2008.02.001 db/journals/jpdc/jpdc68.html#MittalFVP08