Pošljite SMS: Syntactic control of concurrency