Views
Image:MCRL2 syntax definition.pdf
From MCRL2
MCRL2_syntax_definition.pdf (file size: 150 KB, MIME type: application/pdf)
Document describing the syntax of mCRL2 expressions and specifications. The syntax is presented in a rich text format, and a translation of rich text to plain text is provided.
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Dimensions | User | Comment | |
|---|---|---|---|---|
| current | 10:45, 27 July 2009 | (150 KB) | Amathijs (Talk | contribs) | (- added reserved word "if" - added "true", "false" and "if" as valid data expressions) |
| 15:25, 1 July 2009 | (150 KB) | Amathijs (Talk | contribs) | (Updated syntax definition: - replaced free variable sections by global variables - added process reference assignments) | |
| 20:01, 23 December 2008 | (150 KB) | Amathijs (Talk | contribs) | (changed order of > and >=) | |
| 18:34, 23 December 2008 | (150 KB) | Amathijs (Talk | contribs) | (Added binary division operator /) | |
| 15:18, 15 September 2008 | (150 KB) | Amathijs (Talk | contribs) | (Added technical restrictions of data expressions used in conditional process expressions and timed expressions.) | |
| 10:14, 27 August 2008 | (148 KB) | Amathijs (Talk | contribs) | (Document describing the syntax of mCRL2 expressions and specifications. The syntax is presented in a rich text format, and a translation of rich text to plain text is provided.) |
- Search for duplicate files
- Edit this file using an external application
See the setup instructions for more information.
Links
The following page links to this file:
This page was last modified on 27 July 2009, at 10:45. This page has been accessed 2,548 times.
Copyright © 2005-2012 Technische Universiteit Eindhoven.
Copyright © 2005-2012 Technische Universiteit Eindhoven.
