Toward a method of object-oriented concurrent programming
Communications of the ACM
Asynchronous and deterministic objects
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Theory of Distributed Objects
A Theory of Distributed Objects
Behavioural models for hierarchical components
SPIN'05 Proceedings of the 12th international conference on Model Checking Software
Hi-index | 0.00 |
This paper summarizes the keynote talk given at FACS'06, Formal Aspect of Component Systems, Prague, September 2006. The paper provides both an overview and a perspective of the papers cited in the reference. To achieve effective distributed components, we rely on an active object model, from which we build asynchronous and distributed components that feature various valuable properties. We will emphasize how important it is to rely on a precise and formal programming model, and how practical component systems can benefits from theoretical inputs.