Abstract
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.
Chapter PDF
Similar content being viewed by others
Keywords
References
Amadio,R.M. (1997) An asynchronous model of locality, failure, and process mobility, Rappoit Interne LIM (to appear), and INRIA Research Report 3109.
Amadio, R.M. and Prasad, S. (1994) Localities and failures. Proceedings of 14 th FST and TCS Conference, FST-TCS’94, LNCS 880, pp. 205–16. Springer-Verlag.
Ando, T., Takahashi, K. and Kato, Y.(1996) A Topological Framework of Stepwise Specification for Concurrent Systems, The Institute of Electronics, Information and Communication Engineers Transactions on Fundamentals, E79-A, the Institute of Electronics, Information and Communication Engineers, pp. 1760–7.
Milner, R.(1989) Communication and Concurrency. Prentice Hall.
Milner, R. (1991) The poliadic ir-calculus: a tutorial, Technical Report ECS — LFCS — 91 — 180, Labo. for Foundations of Comp. Sci., Dept. Comp.Sci., Univ. Edinburgh, UK.
Milner, R., Parrow, J. and Walker, D. (1992) A calculus of mobile processes, Pert I and II. Journal pf Information and Computation, 100, pp. 1–77.
Padgett, J., Gunther, C. and Hattori, T. (1995) Overview of Wireless Personal Communications, IEEE Communication Magazine, 33, pp. 28–41.
Sangiorgi, D. (1994) Locality and non-interleaving semantics in calculi for mobile processes. Technical Report ECS-LFCS-94–282, Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh, UK.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Ando, T., Takahashi, K., Kato, Y. (1997). On a Concurrency Calculus for Design of Mobile Telecommunication Systems. In: Mizuno, T., Shiratori, N., Higashino, T., Togashi, A. (eds) Formal Description Techniques and Protocol Specification, Testing and Verification. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35271-8_33
Download citation
DOI: https://doi.org/10.1007/978-0-387-35271-8_33
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5260-1
Online ISBN: 978-0-387-35271-8
eBook Packages: Springer Book Archive