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 .


  • 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

  • Titre traduit

    Correctness of a centralized implementation of CSP


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : [2]-122 p

Où se trouve cette thèse\u00a0?

  • 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

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-1988-FEL
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.