Implementing the Application1a part with the perfect failure detector