SMS versenden: Syntactic control of concurrency