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.