Abstract FR:

Introduction d'un modele de parallelisme ou les processus communiquent par signaux et par identification d'etats. Une logique temporelle arborescente modulaire est ensuite decrite. Les specifications de cette logique sont compilees. Le temps de compilation et la taille des processus obtenus sont des fonctions lineaires de la taille de la specification. Un langage modulaire de programmation logique des processus paralleles, compilable en un temps lineaire est donc obtenu