Initial definitions of OpenCL execution model