A calculus for mobile network systems
conference paper
The rapidly increasing demand for ubiquitous communication has led to the widespread use of wireless networks. These systems consist of a group of independently executing components which may migrate through some space during the course of the computation, and the connectivity between the components changes with their migration [5,6]. The support for this physical-distribution-constrained communication paradigm cannot be explicitly seen in the communication model of the π-calculus [7]. In this paper, we first analyze the communication features of mobile network systems. Sequentially, we propose a two-layer connection model for the communication between components in mobile network systems. Finally, an extension of the π-calculus, entity calculus is introduced. cop. Springer-Verlag Berlin Heidelberg 2002.
TNO Identifier
530265
ISSN
03029743
ISBN
9783540000297
Publisher
Springer Verlag
Source title
4th International Conference on Formal Engineering Methods, ICFEM 2002, 21 October 2002 through 25 October 2002
Editor(s)
George, C.
Miao, H.
Miao, H.
Pages
226-230
Files
To receive the publication files, please send an e-mail request to TNO Repository.