Vittoria Gianuzzi Distributed Termination Detection in Reducible Communication Graphs. 1-8 1994 49 Inf. Process. Lett. 1 db/journals/ipl/ipl49.html#Gianuzzi94