By Topic

Formal Approaches to SMS Service Based on Pi Calculus

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
Hongyan Mao ; Shanghai Key Lab. of Trustworthy Comput., East China Normal Univ., Shanghai, China ; Ningkang Jiang ; Qin Li ; Huibiao Zhu

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.

Published in:

Frontier of Computer Science and Technology, 2009. FCST '09. Fourth International Conference on

Date of Conference:

17-19 Dec. 2009