Hongbing Chen Qun Yang Qianmu Li Manwu Xu Formal description and verification of MAS interaction protocols. 353-363 2006 2 Multiagent and Grid Systems 4 http://iospress.metapress.com/content/1mryqd8gnw92ggg9/ db/journals/mags/mags2.html#ChenYLX06