A Multi-agent Framework Based on Communication and Concurrency

@inproceedings{Bagherzadeh2004AMF,
  title={A Multi-agent Framework Based on Communication and Concurrency},
  author={M. Jamshid Bagherzadeh and S. Arun-Kumar},
  booktitle={IWDC},
  year={2004}
}
Multi-agent systems are receiving attention nowadays, as they can be applied in a variety of disciplines like industry, e-commerce, control systems, etc. As the areas of usage are more crucial the matter of assurance of correctness of programs is important. However, verification of these systems has received attention only very recently. Hitherto such systems have been programmed without a clearly defined formal semantics and with very little idea about formally expressed verifiable properties… CONTINUE READING

Similar Papers

Topics from this paper.

Citations

Publications citing this paper.

Flexible Communication of Agents based on FIPA-ACL

  • Electr. Notes Theor. Comput. Sci.
  • 2006
VIEW 12 EXCERPTS
CITES RESULTS & BACKGROUND
HIGHLY INFLUENCED