NAME
hierarchy - for defining layered systems.

DESCRIPTION
There is no mechanism for defining a hierarchically layered system in Promela, nor is there a good excuse to justify this omission. At present, the only structuring principle is the proctype definition, and the allowance for processes to invoke each other recursively.

A mechanism to support hierarchical structuring is likely to be added in one of the future revisions of the language.

SEE ALSO
proctype(2), procedures(7).