Study of Cognitive Model for Survivable System Based on High-order Multi-type π Calculus
Zhao Guosheng, Zhang Nan, Wang Jian
Journal of System Simulation . 2016, (2): 275 -282 .