01Dijkstra’s Semaphores and the Problem of Coordinating Concurrent ProgramsEdsger Dijkstra's semaphore abstraction gave concurrent programs explicit P and V operations for mutual exclusion, resource counting and process coordination.↗