Changes between Version 50 and Version 51 of WikiStart


Ignore:
Timestamp:
Dec 17, 2013, 2:46:30 PM (5 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v50 v51  
    2929 * Formal Semantics of Revised BSML in Coq  [http://frederic.loulergue.eu/ftp/revised_bsml_semantics-0.1alpha.tar.gz v0.1alpha] 
    3030 * Related project: Systematic Development of Parallel Programs ([http://traclifo.univ-orleans.fr/SDPP SDPP]) 
     31 
     32 
     33=== Related Software === 
     34 
     35 * Minimally Synchronous Parallel ML: [wiki:MSPML] 
    3136 
    3237----