Calcul de Constructions Infinies et son application a la vérification de systèmes communicants (1996)