TD 14 : Simulation 1 Algorithme de la boulangerie
On cherche `a établir la correction d'un algorithme d'exclusion mutuelle dû `a Lamport. L'algorithme consid`ere en général N processus Pi ...Télécharger TD 14 : Simulation 1 Algorithme de la boulangerie pdf
