Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentes Révision précédente | Prochaine révision Les deux révisions suivantes | ||
|
fr:research:bsp [2018/03/29 17:10] apeiron [Résumé] |
fr:research:bsp [2018/03/29 17:15] apeiron |
||
|---|---|---|---|
| Ligne 3: | Ligne 3: | ||
| ====== Versions ====== | ====== Versions ====== | ||
| - | {{ :fr:research:bsp-asm.pdf |rapport technique}} disponible sur [[https://hal.archives-ouvertes.fr/hal-01717647|HAL]] | + | **An ASM Thesis for BSP** (Yoann Marquer, Frédéric Gava), le {{ :fr:research:bsp-asm.pdf |premier rapport technique}}, est disponible sur [[https://hal.archives-ouvertes.fr/hal-01717647|HAL]]. |
| + | |||
| + | **Algorithmic Completeness of BSP Languages** (Yoann Marquer, Frédéric Gava), le {{ :fr:research:bsp-while.pdf |second rapport technique}}, est disponible sur [[https://hal.archives-ouvertes.fr/hal-01742406|HAL]]. | ||
| - | {{ :fr:research:bsp-while.pdf |rapport technique}} | ||
| ====== Résumé ====== | ====== Résumé ====== | ||