Return to search

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

.

Identiferoai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00341775
Date08 October 1992
CreatorsCherief, Ferroudja
Source SetsCCSD theses-EN-ligne, France
LanguageFrench
Detected LanguageFrench
TypePhD thesis

Page generated in 0.0019 seconds