A core calculus for correlation in orchestration languages