SMS dit: Syntactic control of concurrency