Développement systématique et sûreté d'exécution en programmation parallèle structurée. (Systematic development and safety of execution in structured parallel programming)

Louis Gesbert. Développement systématique et sûreté d'exécution en programmation parallèle structurée. (Systematic development and safety of execution in structured parallel programming). PhD thesis, University of Paris-Est, France, 2009. [doi]

Abstract

Abstract is missing.