An algebraic verification of a mobile network
Number of Authors: 2
1991 (English)Report (Refereed)
In a mobile communication network some nodes change location, and are therefore connected to different other nodes at different points in time. We show how such a network can be formally defined and verified using the p-calculus, which is a development of CCS (Calculus of Communicating Systems) allowing port names to be sent as parameters in communication events. An example of a mobile network is the Public Land Mobile Network currently being developed by the European Telecommunication Standards Institute. We concentrate on the handover procedures which controls the dynamic topology of the network.
Place, publisher, year, edition, pages
Kista, Sweden: Swedish Institute of Computer Science , 1991, 1. , 35 p.
SICS Research Report, ISSN 0283-3638 ; R91:02
Computer and Information Science
IdentifiersURN: urn:nbn:se:ri:diva-14361OAI: oai:DiVA.org:ri-14361DiVA: diva2:1035649
An early version of part of this material appeared in Proc. Protocol Specification, Testing and Verification X, pages 275-291, North-Holland, 1990.2016-10-132016-10-13