In this paper, a novel formalized mobile agent distributed computation model based on transition systems is presented. In our model, the mobile agent actions (e.g. computations, communication and migration) are described using transitions. Thus, a mobile agent algorithm is viewed as a transition system and the underlying distributed system is modeled by a connected graph. We exploit the high-level encoding of agent actions by transitions to prove the correctness of agent algorithms. We illustrate this approach with the distributed computation of a spanning tree. © Springer-Verlag Berlin Heidelberg 2009.
CITATION STYLE
Haddar, M. A., Kacem, A. H., Métivier, Y., Mosbah, M., & Jmaiel, M. (2009). A distributed computational model for mobile agents. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5044 LNAI, pp. 416–421). https://doi.org/10.1007/978-3-642-01639-4_40
Mendeley helps you to discover research relevant for your work.