Algèbre de processus
Un article de Wikipédia, l'encyclopédie libre.
Cet article est une ébauche concernant l’informatique.
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).
|
Les algèbres de processus sont un famille de langages formels permettant de modéliser les systèmes (informatiques) concurrents ou distribués.
- Algèbres de processus :