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]
Abstract is missing.