Failure-Divergence Refinement of Compensating Communicating ProcessesDate: June 20, 2011Share on Twitter Facebook LinkedIn Previous Next