AUTO format

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>

Bertrand Jeannet, February 10, 2011

AUTO format