Control Abstraction in Parallel Programming Languages