Changes between Version 19 and Version 20 of WikiStart

Timestamp:

Oct 27, 2010, 10:34:34 AM (8 years ago)

Author:

frederic.loulergue@…

Comment:

--

WikiStart

@@ -15 +15 @@
 ----
 
+== Software ==
+
+=== The BSML Library ===
+
+ * Current version : BSML [http://frederic.loulergue.eu/research/bsmllib/bsml-0.4.html v0.4]
+ * Old versions : [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]
+
+=== Semantics and Verification ===
+
+ * Formal Semantics of Revised BSML in Coq  [http://frederic.loulergue.eu/ftp/revised_bsml_semantics-0.1alpha.tar.gz v0.1alpha]
+ * Related project: Systematic Development of Parallel Programs ([http://traclifo.univ-orleans.fr/SDPP SDPP])
+
+----
+
 == Team Members == 
 
@@ -23 +37 @@
  
 Past members: Gaétan Hains, Olivier Ballereau, Armelle Merlin, David Billiet, Dimitri Louis-Régis, Radia Benheddi, Céline Ansault, Ilias Garnier, Guillaume Petiot
-
-----
-
-== Software ==
-
-=== The BSML Library ===
-
- * [http://frederic.loulergue.eu/research/bsmllib/bsml-0.4.html BSML v0.4]
- * [http://frederic.loulergue.eu/research/bsmllib/bsmllib-0.26.html BSML v0.26]
- * [http://frederic.loulergue.eu/research/bsmllib/bsmllib-0.25.html BSML v0.25]
- * [http://frederic.loulergue.eu/research/bsmllib/bsmllib-0.2.html BSML v0.2 ]
- * [http://frederic.loulergue.eu/research/bsmllib/bsmllib-0.1.html BSML v0.1]
-
-=== Semantics and Verification ===
-
- * Formal Semantics of Revised BSML in Coq  [http://frederic.loulergue.eu/ftp/revised_bsml_semantics-0.1alpha.tar.gz v0.1alpha]
- * Related project: Systematic Development of Parallel Programs ([http://traclifo.univ-orleans.fr/SDPP SDPP])
 
 ----