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. © 2007 Elsevier B.V. All rights reserved.
CITATION STYLE
Caromel, D. (2007). From Theory to Practice in Distributed Component Systems. Electronic Notes in Theoretical Computer Science, 182(SPEC. ISS.), 33–38. https://doi.org/10.1016/j.entcs.2006.12.042
Mendeley helps you to discover research relevant for your work.