Thèse
Année : 1992
Thèses Imag : Connectez-vous pour contacter le contributeur
https://theses.hal.science/tel-00341775
Soumis le : mercredi 26 novembre 2008-08:10:13
Dernière modification le : jeudi 4 avril 2024-21:11:47
Archivage à long terme le : lundi 7 juin 2010-23:23:43
Dates et versions
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⟩
196
Consultations
77
Téléchargements