Sémantique relationnelle des programmes non-déterministes et des processus communicants - TEL - Thèses en ligne
Theses Year : 1981

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

Domains

Modeling and 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  : Connect in order to contact the contributor

https://theses.hal.science/tel-00297312

Submitted on : Tuesday, July 15, 2008-5:49:51 PM

Last modification on : Thursday, April 4, 2024-9:28:06 PM

Long-term archiving on : Saturday, May 29, 2010-12:41:27 AM

Download

Dates and versions

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

Identifiers

  • HAL Id : tel-00297312 , version 1

Cite

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA CNRS TDS-MACS
90 View
70 Download

Share

More