| K. Rokusawa, N. Ichiyoshi, T. Chikayama, and H. Nakashima. An efficient termination detection and abortion algorithm for distributed processing systems. In International Conference on Parallel Processing, Vol. I, pp. 18--22, 1988. also published as ICOT-TR 341. |