Type Assignement for Mobile Objects

Digitalitzat per Artypla

Subtyping and Matching for Mobile Objects

In [BCC00], we presented a general framework for extending calculi of mobile agents with object-oriented features, and we studied a typed instance of that model based on Cardelli and Gordon's Mobile Ambients. Here, we refine our previous work and define a new calculus which is based on Remote Procedure Call as the underlying protocol for method invocation, and a different technique to type method bodies. The new type system is equipped with both a subtyping and a matching relation. Th