A Calculus for Mobile Network Systems

Authors:
Jinfeng Huang;Ad Verschueren;Henri Aalderink;Johan J. Lukkien
Affiliations:
-;-;-;-
Venue:
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Year:
2002

Citing 6
Cited 0

Communication and concurrency

Communication and concurrency
Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus
Software engineering for mobility: a roadmap

Proceedings of the Conference on The Future of Software Engineering
Maintenance of mobile system ambients using a process calculus

Computer Networks: The International Journal of Computer and Telecommunications Networking
A Notation and Logic for Mobile Computing

Formal Methods in System Design
Locality and True-concurrency in Calculi for Mobile Processes

TACS '94 Proceedings of the International Conference on Theoretical Aspects of Computer Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.