Navigation
index
next
|
previous
|
mCRL2 202206.1 documentation
»
mCRL2 user documentation
»
mCRL2 language reference
Home
Download
User documentation
Support
Publications
Showcases
Developer documentation
mCRL2 language reference
¶
mCRL2 specification
Lexical elements
Comments
Data specifications
Specifying sorts
Data expressions
Specifying mappings
Predefined mappings
Predefined sorts
Mappings on predefined sorts
Constructed sorts
Mapping sorts
Lists, sets and bags
Lists
Sets
Bags
Structured sorts
Global variables
Process syntax
Process specifications
Actions
Process algebra
Adding data
Conditions
Summation
Parallel composition
Communication and allow
Rename and hide
Time
Specification syntax
Linear Process Specifications
Labelled Transition Systems
mCRL2 LTS format
FSM file format
Parameters section
States section
Transitions section
Example
Aldebaran format
Syntax
Example
Acknowledgements
µ-Calculus
Multi-actions
Action formulas
Regular formulas
State formulas
Relations between symbols
Examples
Boolean Equation Systems
BES expression
BES equation
BES specification
References
Parameterised Boolean Equation Systems
PBES expression
PBES equation
PBES specification
Transforming PBESs
Solving PBESs
Symbolic approximation + Gauß elimination
Enumerative
References
File formats
Previous topic
Contributing
Next topic
mCRL2 specification
This page
Show Source
Quick search