Algèbre de processus

Un article de Wikipédia, l'encyclopédie libre.

Les algèbres de processus sont un famille de langages formels permettant de modéliser les systèmes (informatiques) concurrents ou distribués.

Autres langues