Syntax mCRL2 used in GraPE

Process Reference

This chapter of the help file shows you all information about the syntax used in a Process Reference.

Local Variables must be conform to: name := dataexpression, separated wih ','.