Changes between Version 58 and Version 59 of WikiStart


Ignore:
Timestamp:
Jun 17, 2015, 2:33:44 PM (3 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v58 v59  
    2525 * Old versions : [http://frederic.loulergue.eu/research/bsmllib/bsml-0.4.html v0.4] [http://frederic.loulergue.eu/research/bsmllib/bsmllib-0.26.html v0.26], [http://frederic.loulergue.eu/research/bsmllib/bsmllib-0.25.html v0.25], [http://frederic.loulergue.eu/research/bsmllib/bsmllib-0.2.html v0.2], [http://frederic.loulergue.eu/research/bsmllib/bsmllib-0.1.html v0.1] 
    2626 
     27=== Related Software === 
     28 
     29* MultiML: [wiki:MultiML] 
     30* Departmental Metacomputing ML: [wiki:DMML] 
     31* Minimally Synchronous Parallel ML: [wiki:MSPML] 
     32 
    2733=== Semantics and Verification === 
    2834 
    … …  
    3036 * Formal Semantics of Revised BSML in Coq  [http://frederic.loulergue.eu/ftp/revised_bsml_semantics-0.1alpha.tar.gz v0.1alpha] 
    3137 * Related project: Systematic Development of Parallel Programs ([http://traclifo.univ-orleans.fr/SDPP SDPP]) 
    32  
    33  
    34 === Related Software === 
    35  
    36 * MultiML: [wiki:MultiML] 
    37 * Departmental Metacomputing ML: [wiki:DMML] 
    38 * Minimally Synchronous Parallel ML: [wiki:MSPML] 
    3938 
    4039----