Algèbre de processus
Famille de languages formels en informatique / De Wikipedia, l'encyclopédie encyclopedia
Les algèbres de processus sont une famille de langages formels permettant de modéliser les systèmes (informatiques) concurrents ou distribués. Les algèbres de processus fournissent des outils formels permettant principalement de caractériser les interactions entre processus au sein d'un système concurrent ou distribué, les interactions prenant la forme d'échanges de messages. L'étude des algèbres de processus relève de l'informatique théorique, et leurs applications relèvent principalement du génie logiciel, en particulier des systèmes distribués.
Cet article est une ébauche concernant l’informatique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Pour les articles homonymes, voir Algèbre (homonymie).
Les différents calculs peuvent se distinguer par différents points : calcul synchrone ou asynchrone, calcul du premier ordre ou d'ordre supérieur (dans le second cas, les messages échangés sont des processus), etc.
Les principaux algèbres de processus utilisés sont :
- CSP (Communicating sequential processes) ;
- CCS ;
- LOTOS (Language Of Temporal Ordering Specification) - norme ISO 8807 ;
- Pi-calcul.