摘要：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
关键词：distributed computing, mobile resources, process-calculus
