Language reference/Syntax definition

From MCRL2

Syntax definition

Lexical syntax Data syntax Process syntax mu-calculus syntax PBES syntax

Contents

The following list provides access to the definition of the syntactic elements used by the mCRL2 toolset:

• Lexical syntax: identifiers, numbers, whitespace and comments.
• Data syntax: sort expressions, data expressions and data specifications.
• Process syntax: process expressions and process specifications.
• mu-calculus syntax: multiactions, action formulas, regular formulas and state formulas.
• PBES syntax: parameterised boolean expressions and parameterised boolean equation systems.

The above pages provide the syntax definition of mCRL2 in plain text format. For a syntax definition in rich text format, the following document is provided, which also contains a translation from rich text to plain text. view

---

PBES	Lexical syntax