Neeraj Mittal Felix C. Freiling Subbarayan Venkatesan Lucia Draque Penso Efficient Reduction for Wait-Free Termination Detection in a Crash-Prone Distributed System. 93-107 2005 conf/wdag/2005 DISC http://dx.doi.org/10.1007/11561927_9 db/conf/wdag/disc2005.html#MittalFVP05