Sorry for the fast version update. 🙂
But we changed some syntax, which is big enough to make a new version.
2 () is optional in process definition if there is no parameter.
State refinement srefine and sequal assertions is added into the system.
1 Self implemented hashtable and dictionary is used in the code.
2 Code tidy up.
User Manual is updated to the latest syntax.