Sciweavers

Share
CONCUR
2000
Springer

Typed Mobile Objects

8 years 9 months ago
Typed Mobile Objects
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ˆole of the type system for static detection of run-time type errors and for more program verification purposes. In CONCUR 2000, Lecture Notes in Computer Science 1877:504-520, Springer, 2000.
Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
Added 02 Aug 2010
Updated 02 Aug 2010
Type Conference
Year 2000
Where CONCUR
Authors Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
Comments (0)
books