Modeling the Large-Scale Device Control System Based on PI-Calculus

Deng Pan,Zhang Jianwei,Rong Xiaohui,Chen Feng

Modeling the Large-Scale Device Control System Based on PI-Calculus

2011

Deng Pan
Zhang Jianwei
Rong Xiaohui
Chen Feng

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.

Keywords:

Software
Control engineering
Software engineering
Pi
Zhàng
China
Beijing
Control system
Engineering
Artificial intelligence
pi calculus

Correction
Source
Cite
Save
Machine Reading By IdeaReader

References

Citations