Formal approaches to SMS service based on Pi calculus

Hongyan Mao; Ningkang Jiang; Qin Li; Huibiao Zhu

doi:10.1109/FCST.2009.110

Formal approaches to SMS service based on Pi calculus

Hongyan Mao^*
, Ningkang Jiang
, Qin Li
, Huibiao Zhu

^*Corresponding author for this work

Software Engineering Institute

East China Normal University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Scopus citations

Abstract

With the rapid evolution of mobile communication technology, the Short Message Service (SMS) is the most important and essential operating business. The Pi calculus is a process algebra that describes the concurrent, dynamic and mobile systems. This paper depicts the behaviors of SMS service based on Pi calculus, including the formal description of fixed and mobile area. The formal model for SMS service is introduced and the storage-transmit mechanisms are discussed. The mobility features are represented with Pi calculus that the mobile process is controlled by switching the channel and the moving user still accurately receives any message. The formalizations can be used as a basis for future research on other mobile computing or wireless communication.

Original language	English
Title of host publication	4th International Conference on Frontier of Computer Science and Technology, FCST 2009
Pages	692-697
Number of pages	6
DOIs	https://doi.org/10.1109/FCST.2009.110
State	Published - 2009
Event	4th International Conference on Frontier of Computer Science and Technology, FCST 2009 - Shanghai, China Duration: 17 Dec 2009 → 19 Dec 2009

Publication series

Name	4th International Conference on Frontier of Computer Science and Technology, FCST 2009

Conference

Conference	4th International Conference on Frontier of Computer Science and Technology, FCST 2009
Country/Territory	China
City	Shanghai
Period	17/12/09 → 19/12/09

Access to Document

10.1109/FCST.2009.110

Cite this

@inproceedings{95796c5b8365435586870069f74a8700,

title = "Formal approaches to SMS service based on Pi calculus",

abstract = "With the rapid evolution of mobile communication technology, the Short Message Service (SMS) is the most important and essential operating business. The Pi calculus is a process algebra that describes the concurrent, dynamic and mobile systems. This paper depicts the behaviors of SMS service based on Pi calculus, including the formal description of fixed and mobile area. The formal model for SMS service is introduced and the storage-transmit mechanisms are discussed. The mobility features are represented with Pi calculus that the mobile process is controlled by switching the channel and the moving user still accurately receives any message. The formalizations can be used as a basis for future research on other mobile computing or wireless communication.",

author = "Hongyan Mao and Ningkang Jiang and Qin Li and Huibiao Zhu",

year = "2009",

doi = "10.1109/FCST.2009.110",

language = "英语",

isbn = "9780769539324",

series = "4th International Conference on Frontier of Computer Science and Technology, FCST 2009",

pages = "692--697",

booktitle = "4th International Conference on Frontier of Computer Science and Technology, FCST 2009",

note = "4th International Conference on Frontier of Computer Science and Technology, FCST 2009 ; Conference date: 17-12-2009 Through 19-12-2009",

}

Mao, H, Jiang, N, Li, Q & Zhu, H 2009, Formal approaches to SMS service based on Pi calculus. in 4th International Conference on Frontier of Computer Science and Technology, FCST 2009., 5392840, 4th International Conference on Frontier of Computer Science and Technology, FCST 2009, pp. 692-697, 4th International Conference on Frontier of Computer Science and Technology, FCST 2009, Shanghai, China, 17/12/09. https://doi.org/10.1109/FCST.2009.110

Formal approaches to SMS service based on Pi calculus. / Mao, Hongyan; Jiang, Ningkang; Li, Qin et al.
4th International Conference on Frontier of Computer Science and Technology, FCST 2009. 2009. p. 692-697 5392840 (4th International Conference on Frontier of Computer Science and Technology, FCST 2009).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Formal approaches to SMS service based on Pi calculus

AU - Mao, Hongyan

AU - Jiang, Ningkang

AU - Li, Qin

AU - Zhu, Huibiao

PY - 2009

Y1 - 2009

N2 - With the rapid evolution of mobile communication technology, the Short Message Service (SMS) is the most important and essential operating business. The Pi calculus is a process algebra that describes the concurrent, dynamic and mobile systems. This paper depicts the behaviors of SMS service based on Pi calculus, including the formal description of fixed and mobile area. The formal model for SMS service is introduced and the storage-transmit mechanisms are discussed. The mobility features are represented with Pi calculus that the mobile process is controlled by switching the channel and the moving user still accurately receives any message. The formalizations can be used as a basis for future research on other mobile computing or wireless communication.

AB - With the rapid evolution of mobile communication technology, the Short Message Service (SMS) is the most important and essential operating business. The Pi calculus is a process algebra that describes the concurrent, dynamic and mobile systems. This paper depicts the behaviors of SMS service based on Pi calculus, including the formal description of fixed and mobile area. The formal model for SMS service is introduced and the storage-transmit mechanisms are discussed. The mobility features are represented with Pi calculus that the mobile process is controlled by switching the channel and the moving user still accurately receives any message. The formalizations can be used as a basis for future research on other mobile computing or wireless communication.

UR - https://www.scopus.com/pages/publications/77949826121

U2 - 10.1109/FCST.2009.110

DO - 10.1109/FCST.2009.110

M3 - 会议稿件

AN - SCOPUS:77949826121

SN - 9780769539324

T3 - 4th International Conference on Frontier of Computer Science and Technology, FCST 2009

SP - 692

EP - 697

BT - 4th International Conference on Frontier of Computer Science and Technology, FCST 2009

T2 - 4th International Conference on Frontier of Computer Science and Technology, FCST 2009

Y2 - 17 December 2009 through 19 December 2009

ER -

Formal approaches to SMS service based on Pi calculus

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this