Abstract FR:

A l'aide d'une variante des automates de muller, les t-automates, sont decrites des differentes sortes d'equite pour une classe de processus de calcul synchrone des systemes communicants, a savoir, la classe des processus strictement reguliers