Occam-π

Dans le de l'informatique, l'occam-π (ou le occam-pi ) est le nouveau nom pour la dérivation de l'occam développé par l'équipe de KRoC à l'université de de Kent .

Le nom reflète l'introduction des éléments du π-calcul dans l'occam, en particulier concepts de impliquant les processus de mobile de et les données.

Voir également

Transordinateur

Random links: