output

An output generates a signal of the specified signal type, containing the specified actual parameters, and send this signal instance to the specified destination.

Stating a <process identifier> in <destination> indicates the destination as any existing instance of the set of process instances indicated by <process identifier>. If there exist no instances, the signal is discarded.

If no signal route identifier is specified and no destination is specified, any process, for which there exists a communication path, may receive the signal.

If an expression in the list of actual parameters is omitted, no value is conveyed with the corresponding place of the signal instance, i.e. the corresponding place is "undefined".

The PId value of the originating process is also conveyed by the signal instance.

Z.100