Verification of failure recovery for composition transaction
MEI Xiaoyong1,2, LI Shixian1, HUANG Changqin3, ZHENG Xiaolin4, MING Zhong5
1. School of Information Science and Technology, Sun Yatsen University, Guangzhou 510006, China;
2. School of Computer Science and Technology, Hunan University of Arts and Science, Changde 415000, China;
3. Department of Electrical Engineering and Computer Science, University of California, Irvine, Irvine 92697, USA;
4. College of Computer Science and Technology, Zhejiang University, Hangzhou 310027, China;
5. Computer and Software College, Shenzhen University, Shenzhen 518060, China
MEI Xiaoyong, LI Shixian, HUANG Changqin, ZHENG Xiaolin, MING Zhong. Verification of failure recovery for composition transaction[J]. Journal of Systems Engineering and Electronics, 2012, 34(1): 191-198.