Une algèbre de processus : pour un calcul basé sur la déduction

par Zineb Habbas

Thèse de doctorat en Informatique

Sous la direction de Philippe Jorrand.

Soutenue en 1992

à Grenoble INPG , dans le cadre de Institut national polytechnique. Département des études doctorales (Grenoble) , en partenariat avec Institut d'informatique et mathématiques appliquées (Grenoble) (laboratoire) .

Le président du jury était Joseph Sifakis.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (pagination multiple)
  • Annexes : Bibliogr. 74 REF

Où se trouve cette thèse ?

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : IMAG-1992-HAB
  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Disponible pour le PEB
  • Cote : TS 92/INPG/0091
  • Bibliothèque : Université de Strasbourg. Service commun de la documentation. Bibliothèque Danièle Huet-Weiller.
  • Disponible pour le PEB
  • Cote : Th.Strbg.Sc.1992
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.