So far we have encountered a simple form of replicator in
replicator array declarations. Bodyreplicators are another kind of
replicator and generate consecutive regularities consisting of
paths and/or processes, or rather macro paths and/or processes to
be more precise. Nesting of bodyreplicators will also be allowed.
Their syntax is formally given by:
Using the above rule we can, for example, specify m pipelines of
size k each, associated with a mechanism controlling access to a
critical section similar to that in 
:
We impose the following restriction BRrest on bodyreplicators: