On Programming Models for Mobility

In this talk I will discuss some models for mobile code from a programming perspective. I will first present some requirements for this style of programming, arising from the features of the “global computing” context. Then I will discuss some of the models and programming languages that have been proposed – Obliq, pi-based and Linda-based models, Ambients. I will then present a model based on the ideas of “synchronous” programming, that is based on suspension and preemption primitives associated with locally broadcast events.