Est-ce que vous connaissez le formalisme du Pi-calcul ? "Ce langage occupe dans le domaine de l'informatique parallèle et distribuée un rôle similaire à celui du λ-calcul dans l'informatique classique." http://fr.wikipedia.org/wiki/Pi-calcul Nicolas