An efficient termination detection and abortion algorithm for distributed processing systems - Rokusawa, Kazuaki; Ichiyoshi, Nobuyuki; Chikayama, Takashi (1988)