Research Article
Rigorous Development of Fault-Tolerant Transactions for Information Retrieval Systems Using Event-B
Department of Computer Science and Technology, Xi`an Jiaotong University, Xi`an, Shaanxi, People`s Republic of China
Hong Sun
Department of Computer Engineering, Xinjiang Polytechnical College, Urumqi, Xinjiang, People`s Republic of China
Bang-Hai Xu
School of Computer Science and Technology, Ludong University,Yantai, Shandong, People`s Republic of China
Ying He
Department of Electrical Engineering, Xinjiang Polytechnical College, Urumqi, Xinjiang, 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