The behavior of a moving point is the parallel composition of the three preceding processes.
let process moving_point state = run (compute_pos state) || run (left_right state) || run (draw state)
#run moving_point (new_state ());;
The created process cannot be removed since it never terminates. In the next step, we will see how to implement a simple process manager that can stop the execution of a process in a modular way.