Parallel Programming with Control Abstraction