Verification of Termination for Exception Handling Process in Service-Oriented Software
JIANG Caoqing, YING Shi, WEN Jing, JIA Xiangyang, GUAN Hua
Journal of Frontiers of Computer Science and Technology . 2012, (3): 208 -220 .  DOI: 10.3778/j.issn.1673-9418.2012.03.002