Christian Creveuil

发表

Implementation of Gamma on the Connection Machine

Christian Creveuil, 1991, Research Directions in High-Level Parallel Programming Languages.

Formal specification and design of a message router

Gruia-Catalin Roman, Christian Creveuil, G. Roman, 1994, TSEM.

Techniques d'analyse et de mise en uvre des programmes gamma

Christian Creveuil, 1991 .

Dérivation systématique d'un algorithme de segmentation d'images . Un exemple d'application du formalisme GAMMA

Christian Creveuil, Gersan Moguerou, 1989 .