Αποστολή με SMS: Concurrent Constraint Programming