Changes between Version 9 and Version 10 of WikiStart


Ignore:
Timestamp:
Oct 27, 2010, 9:48:31 AM (8 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v9 v10  
    3636 
    3737 * Formal Semantics of Revised BSML in Coq  [http://frederic.loulergue.eu/ftp/revised_bsml_semantics-0.1alpha.tar.gz v0.1alpha] 
     38 * Related project: Systematic Development of Parallel Programs ([http://traclifo.univ-orleans.fr/SDPP SDPP])