Yentl Van Tendeloo abf36256d6 PN operational semantics seems to work (mostly, and unpolished) il y a 9 ans
..
HUTN abf36256d6 PN operational semantics seems to work (mostly, and unpolished) il y a 9 ans