Challenges in Correct-by-Construction Multiprocessor Programming

Albert Cohen 1
1 Parkas - Parallélisme de Kahn Synchrone
DI-ENS - Département d'informatique de l'École normale supérieure, ENS Paris - École normale supérieure - Paris, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548
Abstract : no abstract
Type de document :
Communication dans un congrès
EPFL-INRIA Workshop, 2015, Lausanne, Switzerland. 2015
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01257233
Contributeur : Albert Cohen <>
Soumis le : samedi 16 janvier 2016 - 02:27:40
Dernière modification le : samedi 21 octobre 2017 - 20:10:13

Identifiants

  • HAL Id : hal-01257233, version 1

Collections

Citation

Albert Cohen. Challenges in Correct-by-Construction Multiprocessor Programming. EPFL-INRIA Workshop, 2015, Lausanne, Switzerland. 2015. 〈hal-01257233〉

Partager

Métriques

Consultations de la notice

91