This address will later be used by the function to redirect control flow back to the caller.
Hooking is a concept in computer programming dealing with control flow.
In this case, a junction in control flow is implied.
These symbols are used whenever two or more control flows must operate simultaneously.
The inner procedure calls itself last in the control flow.
Directed edges are used to represent jumps in the control flow.
Therefore one need not model specify control flow at all in interaction protocols.
The action associated with a chip is performed when control flow reaches it.
In computer programs, an important form of control flow is the loop.
In computer science, a join point is a point in the control flow of a program.