Dans la deuxième partie de la thèse nous étudions la théorie algébrique du ncalcul en présence des types de capacités, qui sont très utiles dans les calculs de processus mobiles. Les types de capacités distinguent la capacité de lire sur un canal, la capacité d'écrire sur un canal, et la capacité de lire et d'écrire à la fois ...