%0 Journal Article
%T Global-to-Local Approach to Rigorously Developing Distributed System with Exception Handling
%A Chao Cai
%A Zong-Yan Qiu
%A Hong-Li Yang
%A Xiang-Peng Zhao
%A <br>Chao Cai
%A Zong-Yan Qiu
%A Senior Member
%A CCF
%A Member
%A IEEE
%A Hong-Li Yang
%A and Xiang-Peng Zhao
%J 计算机科学技术学报
%D 2009
%I 
%K distributed system
%K exception handling
%K fault tolerant
%K formal methods<br>
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=F57FEF5FAEE544283F43708D560ABF1B&aid=AEBA4648BC8FD04470B8651E3AE06C3E&yid=DE12191FBD62783C&vid=B91E8C6D6FE990DB&iid=0B39A22176CE99FB&sid=9CA95D22FC1D537C&eid=D537C66B6404FE57&journal_id=1000-9000&journal_name=计算机科学技术学报&referenced_num=0&reference_num=24