Changes between Version 37 and Version 38 of WikiStart


Ignore:
Timestamp:
Dec 1, 2011, 9:28:17 PM (7 years ago)
Author:
julien.tesson@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v37 v38  
    4040 * Julien Tesson, Environnement pour le développement et la preuve de correction systématiques de programmes parallèles fonctionnels. PhD Thesis, LIFO, University of Orléans, November 2011 
    4141 
    42 === Research reports and thesis === 
     42=== Research reports === 
    4343 
    4444 * Julien Tesson, Zhenjiang Hu, Kiminori Matsuzaki, Frédéric Loulergue and Louis Gesbert, [http://hal.inria.fr/docs/00/46/61/83/PDF/RR-2010-01.pdf Systematic Development of Functional Bulk Synchronous Parallel Programs], Research Report RR-2010-01, LIFO, University of Orléans, 2010