Un langage modulaire de specifications de programmes paralleles et sa compilation

par Amaury Heibig

Thèse de doctorat en Sciences appliquées

Sous la direction de Maurice Nivat.

Soutenue en 1988

à Paris 7 .

    mots clés mots clés


  • Résumé

    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


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 47 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris Diderot - Paris 7. Service commun de la documentation. Bibliothèque Universitaire des Grands Moulins.
  • Accessible pour le PEB
  • Cote : TS1988
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.