Semaphores (Dijkstra (1967,1968))

Un sémaphore s est constitué d'une variable entière e(s) et d'une file d'attente f(s).
e(s) est la valeur du sémaphore.
Un sémaphore a une valeur initiale e₀(s) c'est un entier positif.
Initialement f(s) est vide.