System Definition

A system definition is a list of process identifiers, in the form of Sys.

Sys ::= 'system' ID (',' ID)* ';'

where the ID's must either appear on the left-hand-side of a process assignment or be templates with zero parameters.

Example

• system P, Q;
  a system consisting of the two processes P and Q.