Formal Approaches to SMS Service Based on Pi Calculus

Hongyan Mao, Ningkang Jiang, Qin Li, Huibiao Zhu. Formal Approaches to SMS Service Based on Pi Calculus. In Fourth International Conference on Frontier of Computer Science and Technology, FCST 2009, Shanghai, China, 17-19 December, 2009. pages 692-697, IEEE Computer Society, 2009. [doi]

Authors

Hongyan Mao

This author has not been identified. Look up 'Hongyan Mao' in Google

Ningkang Jiang

This author has not been identified. Look up 'Ningkang Jiang' in Google

Qin Li

This author has not been identified. Look up 'Qin Li' in Google

Huibiao Zhu

This author has not been identified. Look up 'Huibiao Zhu' in Google