Typed Concurrent Objects : a Programming Language for Distributed Computations with Mobile Resources

We describe a programming language for distributed computations that supports mobile resources and is based on a process calculus. The syntax, semantics and implementation of the language are presented with a focus on the novel model of computation.