A CONCURRENT CALCULUS WITH GEOGRAPHICAL CONSTRAINTS

Process algebras with name passing have been proposed for concurrent m obile processes. They can be suitable to describe dynamical changes of connections among processes. To describe mobile communication or mobi le computing systems, however, it is necessary to consider locations a t which processes run. We propose a description method to design mobil e communication systems using a concurrent calculus in this paper. The concept of a field is introduced to model locality of communication. An extension of rr-calculus with a field is proposed. The extension do es not include locality represented by a field while most related work s treat locality within their languages. A field is given when behavio r of a target system is verified in a particular environment. The aim of the extension is to verify and to test connectivity between process es under various geographical constraints. This method could be design -oriented in this context. Equivalence relations with/without location in this calculus are also discussed.