Abstract FR:

Cette thèse poursuit deux buts indissociables : d'une part, fournir les bases d'un logiciel nécessaires à une architecture parallèle ; d'autre part, du fait de l'étude d'algorithmes propres à la synthèse, effectuer un début d'analyse descendante propre à déterminer des circonstances et but architecturaux.