Sémantique algébrique d'un langage de programmation supportant le concept de processus communicants — Mohamed Saïd Ouerghi