Active Objects and Distributed Components: Theory and Implementation

To achieve effective distributed components, we rely on an active object model, from which we build asynchronous and distributed components that feature the capacity to exhibit various valuable properties, as confluence and determinism, and for which we can specify the behaviour. We will emphasise how important it is to rely on a precise and formal programming model, and how practical component systems can benefit from theoretical inputs.