A Calculus for Hybrid CSP. - Jiang Liu 009; Jidong Lv; Zhao Quan; Naijun Zhan; Hengjun Zhao; Chaochen Zhou; Liang Zou (APLAS, 2010)