Implémentation centralisée de C.S.P : étude de théorique et réalisation / Patrick Félix ; sous la direction de André Arnold

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Automates

Systèmes informatiques

Langages de programmation

Programmation parallèle (informatique)

Synchronisation

Systèmes à paramètres répartis

Arnold, André (1945-....) (Directeur de thèse / thesis advisor)

Université Bordeaux-I (1971-2013) (Organisme de soutenance / degree-grantor)

Relation : Implémentation centralisée de CSP : étude théorique et réalisation / Patrick Felix / Grenoble : Atelier national de reproduction des thèses , 1988

Résumé / Abstract : 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