Failure-Divergence Refinement of Compensating Communicating Processes