Refinement verification of Concurrent Programs and Its Applications Hongjin Liang UniV. of science and technology of china Advisors: Xinyu Feng and Zhong ShaoRefinement Verification of Concurrent Programs and Its Applications Hongjin Liang Univ. of Science and Technology of China Advisors: Xinyu Feng and Zhong Shao