This wiki is out of date, use the continuation of this wiki instead

From FenixWiki

Definition

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

Example

Kill all SpaceShip()s:

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.