A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
On a Concurrency Calculus for Design of Mobile Telecommunication Systems
[chapter]
1997
Formal Description Techniques and Protocol Specification, Testing and Verification
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 1r-calculus with a field is proposed. A field is given when behaviors of a target system is verified for a particular
doi:10.1007/978-0-387-35271-8_33
fatcat:4jyg3bkh7nhc5fox74ccq72eau