projects / kayrebt-exec.git / log
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next ⋅ patches
kayrebt-exec.git
5 years agoInitial state of the activity diagrams semantics master origin/HEAD origin/master
commit | commitdiff | tree
Laurent Georget [Fri, 29 May 2015 12:07:51 +0000 (14:07 +0200)]
Initial state of the activity diagrams semantics

Semantics in Maude for Activity Diagrams