Skip to Main content Skip to Navigation

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

Document type :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00341775
Contributor : Thèses Imag <>
Submitted on : Wednesday, November 26, 2008 - 8:10:13 AM
Last modification on : Thursday, January 11, 2018 - 6:20:25 AM
Document(s) archivé(s) le : Monday, June 7, 2010 - 11:23:43 PM

Identifiers

  • HAL Id : tel-00341775, version 1

Collections

Citation

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. ⟨tel-00341775⟩

Share

Metrics

Record views

375

Files downloads

162