We introduce a transformation system for ocncurrent constraint programming (CCP).We kdefine suitable applciability ocnditions for the transformations which gurrantee that the input/output cp semantics is preserved also when distinguishing dealdlocked computations from successful ones.
展开▼
