Notions de modularite et de symetrie pour les systemes repartis : application au langage csp

par Luc Bougé

Thèse de doctorat en Sciences appliquées

Sous la direction de Maurice Nivat.

Soutenue en 1987

à Paris 7 .

    mots clés mots clés


  • Résumé

    Il est montre que les criteres quantitatifs ne sont pas suffisants pour evaluer le degre de repartition des algorithmes repartis usuels. Des criteres qualitatifs sont necessaires. Des proprietes de modularite et de symetrie sont definies dans le cadre du langage csp des processus sequentiels communiquants de hoare. Une notion syntaxique pour la modularite et une definition semantique de la symetrie sont proposees


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 101 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris Diderot - Paris 7. Service commun de la documentation. Bibliothèque Universitaire des Grands Moulins.
  • Accessible pour le PEB
  • Cote : TS1987
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.