  In previous work we developed a framework of computational models for
function and object execution. The models on an higher level of abstraction in
this framework allow for concurrent execution of functions and objects. We show
that the computational model for object execution complies with the
fundamentals of object-orientation.
