The Derivation of Distributed Termination Detection Algorithms from Garbage Collection Schemes