Research Article
Formal Spsecification and Proof of Multi-Agent Applications Using Event B
Department of Computer Science and Technology, Xi`an Jiaotong University, Xi`an, Shaanxi, People`s Republic of China
Zheng Qin
Department of Computer Science and Technology, Xi`an Jiaotong University, Xi`an, Shaanxi, People`s Republic of China
Lei Lu
Library of Ludong University, Yantai, Shandong, People`s Republic of China
Li-Ping Shao
Department of Computer Science and Technology, Xi`an Jiaotong University, Xi`an, Shaanxi, People`s Republic of China
Xing-Chen Heng
Department of Computer Science and Technology, Xi`an Jiaotong University, Xi`an, Shaanxi, People`s Republic of China