We start with the traditional sequential execution model that uses a stack for the execution of a function. By abstracting from the details of function call implementation a sequential execution model can be obtained.
By further abstraction of how a function is scheduled for execution an abstract computational model can be obtained that allows for the concurrent execution of functions.
From the abstract computational model concurrent computational models can be implemented.
The result is a framework of computational models for the execution of functions. It can be used for further development of concurrent computational models that deal with the problems inherent with concurrency.
Framework of computational models