On termination detection in crash-prone distributed systems with failure detectors