GRAPH REWRITING FOR A PARTIAL ORDERING SEMANTICS OF CONCURRENT CONSTRAINT PROGRAMMING