Describir: Syntactic control of concurrency