Language constructs for specifying concurrency in CDL | IEEE Journals & Magazine | IEEE Xplore