Implémentation centralisée de C. S. P : étude de théorique et réalisation

par Patrick Félix

Thèse de doctorat en Sciences

Sous la direction de André Arnold.

Soutenue en 1988

à Bordeaux 1 .

    mots clés mots clés


  • Pas de résumé disponible.


  • Pas de résumé disponible.


  • Résumé

    La semantique du langage csp est precisee en associant a tout programme csp un automate csp. Une implementation centralisee de ce langage est decrite. Une methode formelle permettant de montrer que cette implementation respecte la semantique definie precedemment est proposee

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : [2], 122 p

Où se trouve cette thèse ?

  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque Sciences et Techniques.
  • Disponible pour le PEB
  • Cote : FT 88.B-179
  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque Sciences et Techniques.
  • Non disponible pour le PEB
  • Cote : FTR 88.B-179
  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque Sciences et Techniques.
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.