A return represents the the completion of a call of a procedure .

A return is interpreted in the following way:

a) All variables created by the interpretation of the procedure start will cease to exist.

b) The interpretation of the procedure-graph is completed and the procedure instance ceases to exist.

c) Hereafter the calling process, service (or procedure) interpretation continues at the node following the call.