Grammar

Contents:

• CapsId
• Channel Definition
• Choice Operator
• Connection Definitions
• Comment
• Communications
• Condition
• Constant Definitions
• Data Type
• Disable Operator
• EXIT
• Enable Operator
• Function Defintions
• Function
• Guard Operator
• HIDE
• Interrupt Operator
• IF THEN ELSE Value Expression
• LET Process Behaviour
• Language Definition
• LET Value Expression
• Model Definitions
• Parallel Operator
• Process Call
• Proccess Definitions
• ProcessBehaviour
• Test Purpose Definitions
• STOP
• Sequence Operator
• SmallId
• State Automaton Definition
• Synchronized Channels Operator
• Synchronized Operator
• Synchronous Operator
• Type Definitions
• Value Expression
• Variable Declaration
• Language Definition