Distributed Typed Concurrent Objects: a Programming Language for Distributed Computations with Mobile Resources.
Journal article published in 2003 by
Álvaro Reis Figueira,
Á. R. Figueira,
Ar Figueira,
Hervé Paulino,
Luís M. B. Lopes,
Fernando M. A. Silva 
Abstract
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.