PRODUCTEUR ==
	i : integer := 0;
	*[
		i<10 ->
			tampon!write ("data" + i);
			i := i + 1
	]

CONSOMMATEUR ==
	data : string;
	*[
		tampon?read(data) -> print (data + "\n")
	]

TAMPON ==
	data : string;
	*[
		producteur?write(data) -> consommateur!read(data)
	]

MAIN ==
	[
		producteur :: PRODUCTEUR
	||
		consommateur :: CONSOMMATEUR
	||
		tampon :: TAMPON
	]