A distributed CHAM for cooperative mobile agents

Mobile agents systems accomplish some set of tasks or achieve some set of goals through groups of cooperative agents. This paper is trying to formalize a cooperative autonomous mobile agents system and capture the dynamic character of agent group. We use distributed join-calculus as our basic framework and make the extension with a definition for teams. The chemical semantics is given. We also present an example to illustrate how to express team actions with the new constructs.