Information and Computation
An interpretation of typed objects into typed &pgr;-calculus
Information and Computation
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Matching for the lambda calculus of objects
Theoretical Computer Science - Special issue: Gentzen
Controlling interference in ambients
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Abstractions for mobile computations
Secure Internet programming
A Theory of Objects
A lambda calculus of objects and method specialization
Nordic Journal of Computing
Concurrent Objects in a Process Calculus
TPPP '94 Proceedings of the International Workshop on Theory and Practice of Parallel Programming
ECOOP '94 Proceedings of the 8th European Conference on Object-Oriented Programming
Mobility Types for Mobile Ambients
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Aliasing Models for Object Migration
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Inheritance in the Join Calculus
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Imperative objects and mobile processes
PROCOMET '98 Proceedings of the IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods
Type Assignement for Mobile Objects
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |
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 earlier work and define a new calculus which is based on Remote Procedure Call as the underlying protocol for method invocation, and on a different typing technique for method bodies. The new type system is equipped with a subtyping and a matching relation: the combination of matching with subtyping provides new insight into the relationship between ambient opening in the new calculus and method overriding in object-oriented calculi.