Inte Vleminckx d00b9c25db Add 'simplified' version of the FTG+PM++ formalism with operational semantics 2 ヶ月 前
..
composite_activity.py d00b9c25db Add 'simplified' version of the FTG+PM++ formalism with operational semantics 2 ヶ月 前