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]
@inproceedings{MaoJLZ09,
title = {Formal Approaches to SMS Service Based on Pi Calculus},
author = {Hongyan Mao and Ningkang Jiang and Qin Li and Huibiao Zhu},
year = {2009},
doi = {10.1109/FCST.2009.110},
url = {http://doi.ieeecomputersociety.org/10.1109/FCST.2009.110},
researchr = {https://researchr.org/publication/MaoJLZ09},
cites = {0},
citedby = {0},
pages = {692-697},
booktitle = {Fourth International Conference on Frontier of Computer Science and Technology, FCST 2009, Shanghai, China, 17-19 December, 2009},
publisher = {IEEE Computer Society},
isbn = {978-1-4244-5467-9},
}