Αποστολή με SMS: Syntactic control of concurrency