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 is missing.