Stav dette: Syntactic control of concurrency