In concurrent programming, the interpreter commits to a single possibility without trying the other ones.
This is particularly important given the commitment to a single clause of concurrent constraint logic programming: once a clause has been chosen, this choice will be never reconsidered.