Hong-Jiang Gao
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
PDF Fulltext XML References Citation
How to cite this article
Hong-Jiang Gao, Hong Sun, Bang-Hai Xu, Ying He and Zheng Qin, 2008. Rigorous Development of Fault-Tolerant Transactions for Information Retrieval Systems Using Event-B. Information Technology Journal, 7: 868-875.
DOI: 10.3923/itj.2008.868.875
URL: https://scialert.net/abstract/?doi=itj.2008.868.875
DOI: 10.3923/itj.2008.868.875
URL: https://scialert.net/abstract/?doi=itj.2008.868.875