Failure-Divergence Refinement of Compensating Communicating Processes | Publicación