A distributed CHAM for cooperative mobile agents
Lu Ning, You Jinyuan · 2002
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.