We describe a general model for embedding object-oriented constructs into calculi of mobile agents. The model results from extending agents with methods and primitives for message passing. We then study an instance of the model based on Cardelli and Gordon's Mobile Ambients. We define a type system for the resulting calculus, give a subject reduction theorem, and discuss the rôle of the type system for static detection of run-time type errors and for other program verification purposes. © Springer-Verlag Berlin Heidelberg 2000.
CITATION STYLE
Bugliesi, M., Castagna, G., & Crafa, S. (2000). Typed mobile objects. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1877 LNCS, pp. 504–520). Springer Verlag. https://doi.org/10.1007/3-540-44618-4_36
Mendeley helps you to discover research relevant for your work.