"A Termination Detector for Static and Dynamic Distributed Systems with ..."

Ten-Hwang Lai (1986)
a service of Schloss Dagstuhl - Leibniz Center for Informatics