Αποστολή με SMS: Logic, Rewriting, and Concurrency