An Extended cCSP with Stable Failures Semantics

Date: