基于高阶多型π演算的可生存系统认知模型研究

赵国生, 张楠, 王健

Study of Cognitive Model for Survivable System Based on High-order Multi-type π Calculus

Zhao Guosheng, Zhang Nan, Wang Jian

系统仿真学报 . 2016, (2): 275 -282 .