A Calculus for Hybrid CSP.

Jiang Liu, Jidong Lv, Zhao Quan, Naijun Zhan, Hengjun Zhao, Chaochen Zhou, Liang Zou

Browse the full APLAS paper archive.