Cited By
View all- Latif NHassan MHasan H(2010)Development of simulation environment for agent interaction protocol2010 International Symposium on Information Technology10.1109/ITSIM.2010.5561530(642-647)Online publication date: Jun-2010
Formal description and verification of the interaction protocols between agents is a very valuable reserch in development of MAS. In the paper we have defined a calculus for description interaction protocols of MAS based on dialogue. The calculus is ...
Formal description and verification of interaction protocols is an important field of MAS. In this paper a calculus for describing interaction protocols of MAS is defined. The calculus is based on process algebra and is independent of any particular ...
We propose a method for the definition of interaction protocols to be used in open multiagent systems. Starting from the assumption that language is the fundamental component of every interaction, we first propose a semantics for Agent Communication ...
Association for Computing Machinery
New York, NY, United States
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in