Flexible Multi-Agent Protocols

Chris Walton, Dave Robertson

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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.
Original languageEnglish
Title of host publicationProceedings of UKMAS 2002
Number of pages12
Publication statusPublished - 2002


Dive into the research topics of 'Flexible Multi-Agent Protocols'. Together they form a unique fingerprint.

Cite this