Parallel Termination using multiple threads