A Formalism for Hierarchical Mobile Agents

  title={A Formalism for Hierarchical Mobile Agents},
  author={Ichiro Satoh},
This paper presents a theoretical and practical framework for constructing and reasoning about mobile agents. The framework is formulated as a process calculus and has two contributions. One of the contributions can model not only individual mobile agents but also a group of mobile agents because the calculus allows more than one mobile agent to be dynamically organized into a single mobile agent. The other contribution can exactly model many features of actual mobile agents, such as mobility… CONTINUE READING