On a Concurrency Calculus for Design of Mobile Telecommunication Systems
Toshihiko Ando, Kaoru Takahashi, Y. Pedro Kato · 1997
Process algebras with name passing can be suitable to describe dynamical changes of connections. To describe mobile communication, however, it is necessary to consider locations at which processes run. We propose a description method to design such systems using a concurrency calculus in this paper. The concept of a field is introduced to model locality. An extension of π-calculus with a field is proposed. A field is given when behaviors of a target system is verified for a particular environment. The aim of the extension is to verify and to test connectivity between processes under various geographical constraints. This method could be design-oriented in this context. Equivalence relations with/without location in this calculus are also discussed.