Modeling the Large-Scale Device Control System Based on PI-Calculus
Pan Deng, Jianwei Zhang, Xiaohui Rong, Feng Chen · Advanced Science Letters · 2011
Deng Pan Chinese Acad Sci Lab Parallel Comp Inst Software Beijing 100190 Peoples R China. Deng Pan; Zhang Jianwei; Rong Xiaohui; Chen Feng Beihang Univ State Key Lab Software Dev Environm Beijing 100191 Peoples R China.