Pamef/tp/calcul.csp

CALCULATEUR ==
	nb, coef : integer;
	gestionnaire?calcul(nb, coef);
	nb := nb * coef;
	gestionnaire!resultat(nb)

PROCESSUS ==
	taille, init : integer;
	actif : boolean := true;
	*[
		actif; lanceur?calcul(taille, init) ->
			tab : [1..taille] integer := [1..taille] init;
			[
				calculateur [i:1..taille] :: CALCULATEUR
			||
				gestionnaire ::
					*[
						(i:1..taille) calculateur[i]!calcul (tab[i], i) -> skip
					[]
						(i:1..taille) calculateur[i]?resultat (tab[i]) -> skip
					]
			];
			print (tab + "\n")
	[]
		actif; lanceur?fin() -> actif := false
	]

MAIN ==
	[
		processus :: PROCESSUS
	||
		lanceur :: 
			processus!calcul(10,1); 
			processus!calcul(10,2); 
			processus!fin()
	]