Contributions à la sémantique du parallélisme : bisimulations pour le raffinement et le vrai parallélisme - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 1992

Contributions à la sémantique du parallélisme : bisimulations pour le raffinement et le vrai parallélisme

Fichier principal
Vignette du fichier
Cherief.Ferroudja_1992_these.pdf (10.16 Mo) Télécharger le fichier

Dates et versions

tel-00341775 , version 1 (26-11-2008)

Identifiants

  • HAL Id : tel-00341775 , version 1

Citer

Ferroudja Cherief. Contributions à la sémantique du parallélisme : bisimulations pour le raffinement et le vrai parallélisme. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1992. Français. ⟨NNT : ⟩. ⟨tel-00341775⟩

Collections

UGA CNRS TDS-MACS
196 Consultations
77 Téléchargements

Partager

Gmail Facebook X LinkedIn More