Approches fonctionnelles de la programmation parallèle et des méta-ordinateurs. Sémantiques, implantations et certification. (Functional approaches of parallel programming and méta-computers. Semantics, implementations and certification)

Frédéric Gava. Approches fonctionnelles de la programmation parallèle et des méta-ordinateurs. Sémantiques, implantations et certification. (Functional approaches of parallel programming and méta-computers. Semantics, implementations and certification). PhD thesis, Paris 12 Val de Marne University, Créteil, France, 2005. [doi]

Abstract

Abstract is missing.