An Efficient Parallel Termination Detection Algorithm ; CU-CS-915-01