Optimistic semaphores with non‐deterministic choice operation for heterogeneous manycore systems | Publicación