Correction A Passons `a la banque B PRAM C Mutex & sémaphores
Correction : Pour le LTS, on peut coder les états par (q0; q1; t) où qi = 1 si Pi est en ... Exercice 3 - Sémaphores. Rappeler la signification des opérations ...
Correction : Pour le LTS, on peut coder les états par (q0; q1; t) où qi = 1 si Pi est en ... Exercice 3 - Sémaphores. Rappeler la signification des opérations ...