Sémantique des programmes récursifs-parallèles et méthodes pour leur analyse. (Semantics of recursive-parallel programs and methods for their analysis)

Olga Kouchnarenko. Sémantique des programmes récursifs-parallèles et méthodes pour leur analyse. (Semantics of recursive-parallel programs and methods for their analysis). PhD thesis, Joseph Fourier University, Grenoble, France, 1997. [doi]

Abstract

Abstract is missing.