Un système formel de transformation de programmes pour leur exécution sur machines parallèles

Xiaobo Yu. Un système formel de transformation de programmes pour leur exécution sur machines parallèles. PhD thesis, Grenoble Institute of Technology, France, 1992. [doi]

Abstract

Abstract is missing.