Concurrent Models for Object Execution

TL;DR

This paper extends a framework of computational models to support concurrent execution of objects, demonstrating that object concurrency can be integrated into abstract models of computation.

Contribution

It introduces a novel extension of existing models to enable concurrent execution of objects, broadening the scope of computational frameworks for parallel processing.

Findings

Framework supports concurrent object execution

Demonstrates equivalence to sequential models in certain cases

Lays groundwork for further research in object-oriented concurrency

Abstract

In previous work we developed a framework of computational models for the concurrent execution of functions on different levels of abstraction. It shows that the traditional sequential execution of function is just a possible implementation of an abstract computational model that allows for the concurrent execution of function. We use this framework as base for the development of abstract computational models that allow for the concurrent execution of objects.