An Extended cCSP with Stable Failures Semantics.

Zhenbang Chen, Zhiming Liu

Browse the full ICTAC paper archive.