Add Dijkstra semaphores