Algèbre de processus
Les algèbres de processus sont une famille de langages formels permettant de modéliser les systèmes (informatiques) concurrents ou distribués.
- Algèbres de processus :
- CSP (Communicating sequential processes) ;
- CCS ;
- LOTOS (Language Of Temporal Ordering Specification) - norme ISO 8807 ;
- Pi-calcul.
Portail de l’informatique
Pour les articles homonymes, voir Algèbre (homonymie).
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.