A process is a group of actions that is triggered dynamically. A process call takes the following form:
:: exp (a₁, a₂, ...)
exp is an expression which evaluates into a proc
aᵢ are expressions that are the parameters of the
A process call is a compound action: the duration of a call is the duration of the instantiated group1.
Synchronization attributes, which are inherited by the instantiated group, may be specified. However, the attribute @exclusive has no effect.
Refer to the chapter Process for an in-depth presentation.
The remarks for process creation also apply for object creation. Please refer to chapter Object for a thorough presentation on that topic.
The correct implementation is in development. For the moment, a process call appears as an atomic action. ↩