Login
Preferences
Help/Guide
About Trac
Wiki
Context Navigation
←
Previous Change
Wiki History
Next Change
→
Changes between
Version 9
and
Version 10
of
WikiStart
View differences
inline
side by side
Show
lines around each change
Show the changes in full context
Ignore:
Blank lines
Case changes
White space changes
Timestamp:
Oct 27, 2010, 9:48:31 AM (
8 years
ago)
Author:
frederic.loulergue@…
Comment:
--
Legend:
Unmodified
Added
Removed
Modified
WikiStart
v9
v10
36
36
37
37
* 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])