Projects per year
In this paper we define a novel technique for the specification of agent protocols in Multi-Agent-Systems. This technique addresses a number of shortcomings of previous Electronic Institution based specifications. In particular, we relax the static specification of agent protocols as statebased diagrams and allow protocols to be defined and disseminated in a flexible manner during agent interaction. Our flexible specification is derived from process algebra and thus forms a sound basis for the verification of such systems.
|Title of host publication||Proceedings of UKMAS 2002|
|Number of pages||12|
|Publication status||Published - 2002|