A calculus for mobile network systems

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 p-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 p-calculus, entity calculus is introduced