Language reference

From MCRL2

Welcome to the mCRL2 language reference.

The language reference contains the following sections:

• Data types: how to use the basic data types and how to specify custom data types.
• Processes: how to specify behaviour using processes.
• Modal formulas: how to specify properties using modal formulas.
• PBES: how to specify parameterised boolean equation systems.
• Syntax definition: EBNF syntax definition of the above elements.