An imperative language with primitives for controlling parallel programs.

Used by Wayne Luk for work in compilation of programs to hardware (FPGAs).