Communicating sequential processes for distributed constraint satisfaction