Syntax mCRL2 used in GraPE
This chapter of the help file shows you all information about the syntax used in GraPE.
Transition- / Terminating Transitionlabel
Preamble
Process Reference