Sémantique relationnelle des programmes non-déterministes et des processus communicants - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 1981

Sémantique relationnelle des programmes non-déterministes et des processus communicants

Domaines

Modélisation et simulation
Fichier principal
Vignette du fichier
Guerreiro.Pedro-J-V-D_1981_these.pdf (9.19 Mo) Télécharger le fichier

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 : jeudi 4 avril 2024-21:28:06

Archivage à long terme le : samedi 29 mai 2010-00:41:27

Télécharger pour visualiser

Dates et versions

tel-00297312 , version 1 (15-07-2008)

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA CNRS TDS-MACS
80 Consultations
62 Téléchargements

Partager

Gmail Facebook X LinkedIn More