Académique Documents
Professionnel Documents
Culture Documents
1. Protocole de Lynch
Ce protocole est réalisé par deux processus distants qui communiquent par échange de messages.
Ecrire en Promela un processus qui prend en paramètre un entier n, puis affiche la somme des n
premiers entiers, en émulant le comportement de la boucle «while».
Exercice 3
Ecrire en Promela un processus qui affiche la valeur maximum d'un tableau de n entiers.
Exercice 4
– exclusion mutuelle,