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]

@phdthesis{hal-6679,
  title = {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)},
  author = {Frédéric Gava},
  year = {2005},
  url = {https://tel.archives-ouvertes.fr/tel-00110831},
  researchr = {https://researchr.org/publication/hal-6679},
  cites = {0},
  citedby = {0},
  school = {Paris 12 Val de Marne University, Créteil, France},
}