la volonté chez Frege, Russell ou chez Hilbert plus tard de donner une fondation axiomatique aux mathématiques ; la découverte par George Boole de l'existence de structures algébriques permettant de ...

Il existe également le sémaphore binaire qui est une exclusion mutuelle (mutex). Il est toujours initialisé avec la valeur 1. Lorsque des processus légers souhaitent communiquer entre eux, ils peuvent ...