|
| | | AUTO format |
It is very similar to AUTOC format, except for the main parts.
| <auto> | ::= | <type_definition>* |
| <channel_declarations>* | ||
| <system> | ||
| <pragma>* |
| <system> | ::= | system <process_body> |
| | | system ( (<ident> (,<ident>)* | eps) ) ((<ident> (,<ident>)* | eps)) <process_body> |
|
| | | AUTO format |