Date : 1988
Type : Livre / Book
Type : Thèse / ThesisLangue / Language : français / French
Programmation parallèle (informatique)
Systèmes à paramètres répartis
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