ProcessTypeID

Definition

A ProcessTypeID is a unique identification code, for a processType. A ProcessTypeID is smaller than 65536 (2^16).

Example

Kill all SpaceShip()s (see process):

Begin
    signal(type SpaceShip,s_kill);
End

signal() signals all processes of processType SpaceShip the signal to die. This is done by using the constant s_kill as the signal.