Problem description: Model
Input: process x (C program or VHDL process)
A view of the process: set of procedures F = {f1, f2,…fn} with one as main procedure.
Variable: simple processor with read and write being the procedure calls.
Execution of F: procedures executing sequentially, staring with main and that calls other procedures; only one is active at a time