Distributed termination detection with sticky state indicators - Mattern, Friedemann 1955- (Interner Bericht / Fachbereich Informatik, Universität Kaiserslautern, 1990)