Formal description and verification of MAS interaction protocols
Hongbing Chen, Qun Yang, Qianmu Li, Manwu Xu · Multiagent and Grid Systems · 2006
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