Thèse
Année : 1981
Thèses Imag : Connectez-vous pour contacter le contributeur
https://theses.hal.science/tel-00297312
Soumis le : mardi 15 juillet 2008-17:49:51
Dernière modification le : vendredi 20 décembre 2024-03:38:08
Archivage à long terme le : samedi 29 mai 2010-00:41:27
Dates et versions
Identifiants
- HAL Id : tel-00297312 , version 1
Citer
Pedro J. V. D Guerreiro. Sémantique relationnelle des programmes non-déterministes et des processus communicants. Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1981. Français. ⟨NNT : ⟩. ⟨tel-00297312⟩
Collections
90
Consultations
70
Téléchargements