thesis
Implémentation centralisée de C. S. P : étude de théorique et réalisation
Institution:
Bordeaux 1Disciplines:
Directors:
Abstract EN:
Pas de résumé disponible.
Abstract FR:
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