Return to search

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

.

Identiferoai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00297312
Date03 July 1981
CreatorsGuerreiro, Pedro J. V. D
Source SetsCCSD theses-EN-ligne, France
LanguageFrench
Detected LanguageFrench
TypePhD thesis

Page generated in 0.0018 seconds