Denotational semantics of channel mobility in UTP-CSP

Channel Mobility ◽

Unifying Theories Of Programming ◽

Dynamic Interface ◽

Telecommunications Network ◽

Mobile Processes ◽

Sequential Processes ◽

Reactive Processes

AbstractIn this paper, we present the denotational semantics for channel mobility in the Unifying Theories of Programming (UTP) semantics framework. The basis for the model is the UTP theory of reactive processes, precisely, the UTP semantics for Communicating Sequential Processes (CSP), which is extended to allow the mobility of channels—the set of channels that a process can use for communication (its interface), originally static or constant (set during the process's definition), is now made dynamic or variable: it can change during the process's execution. A channel is thus moved around by communicating it via other channels and then allowing the receiving process to extend its interface with the received channel. We introduce a new concept, the capability of a process, which allows separating the ownership of channels from the knowledge of their existence. Mobile processes are then defined as having a static capability and a dynamic interface. Operations of a mobile telecommunications network, e.g., handover, load balancing, are used to illustrate the semantics. We redefine CSP operators and in particular provide the first semantics for the renaming and hiding operators in the context of channel mobility.

11th IEEE International Symposium on Personal Indoor and Mobile Radio Communications. PIMRC 2000. Proceedings (Cat. No.00TH8525) ◽

The challenges of an all IP fixed and mobile telecommunications network

10.1109/pimrc.2000.881382 ◽

2002 ◽

Cited By ~ 1

Author(s):

D.R. Wisely

Keyword(s):

Measuring the Return of Quality Investments on Mobile Telecommunications Network

Recent Developments in Mobile Communications - A Multidisciplinary Approach ◽

10.5772/26565 ◽

2011 ◽

Author(s):

Manuel J. ◽

Pedro S.

Keyword(s):

Foreign Direct Investment in Cambodia’s Telecommunications Industry

Nepalese Journal of Management Science and Research ◽

10.53056/njmsr-2016001.6 ◽

2016 ◽

Vol 1 (1) ◽

Author(s):

Fuangfa Ampornstira

Keyword(s):

Qualitative Research ◽

Foreign Direct Investment ◽

Direct Investment ◽

Low Cost ◽

Telecommunications Industry ◽

Quantitative And Qualitative Research ◽

Excessive Competition ◽

In order to obtain a mobile telecommunications network rapidly and at low cost, the Cambodian government opened the sector to all comers wishing to make appropriate levels of investment. The subsequent turmoil of investment and aggressive marketing of products led to a situation of hypercompetitiveness, which is unsustainable and resulted in several companies subsequently divesting. Using the results of a programme of quantitative and qualitative research, this paper reports on these events and the implications of foreign direct investment in a lightly-regulated sector in which excessive competition may be solicited. Keywords: Cambodia, foreign direct investment, hyper-competitiveness, telecommunications

Deriving the Vehicle Speeds from a Mobile Telecommunications Network

IEEE Transactions on Intelligent Transportation Systems ◽

10.1109/tits.2013.2255039 ◽

2013 ◽

Vol 14 (3) ◽

pp. 1208-1217 ◽

Cited By ~ 4

Author(s):

Ren-Huang Liou ◽

Yi-Bing Lin ◽

Yu-Long Chang ◽

Hui-Nien Hung ◽

Nan-Fu Peng ◽

...

Keyword(s):

Evaluating the investment decision-making process for business expansion into Africa: A case study

Risk Governance and Control Financial Markets & Institutions ◽

10.22495/rgcv2i4art1 ◽

2012 ◽

Vol 2 (4) ◽

pp. 7-16

Author(s):

Jason Kasozi

Keyword(s):

Decision Making ◽

International Business ◽

Investment Decision ◽

Investment Project ◽

Decision Making Process ◽

True Value ◽

Investment Decision Making ◽

Africa is a potential domain for international business. However, numerous uncertainties characterize this environment and the challenge for multinationals remains the ability to assess the true value of an Africa-bound investment project. A telecommunications’ survey was conducted on Siemens Southern Africa (Siemens) and Mobile Telecommunications’ Network (MTN) and the following observations were made: (1) Approaches used by the businesses to value Africa-bound investments were not comprehensive and inclusive. (2) Neutrality existed to the suggestion that Africa is unique and that investment decisions should be customized to suit it. (3) Certain approaches used by the businesses were modified to suit pertaining investment circumstances thereby differing from literature, and (4), participants desired to learn new ways of improving this process suggesting dissatisfaction with the current norm. This paper presents the conflicting ideologies about the decision-making process for business expansion into Africa and suggests ways of improving the process.

Seeking a Better Connection: Mobile Telecommunications Network and Social Responsibility in Uganda

International Businesses and the Challenges of Poverty in the Developing World ◽

10.1057/9780230522503_8 ◽

2004 ◽

pp. 124-138 ◽

Cited By ~ 1

Author(s):

Ida Mutoigo ◽

Samuel Sejjaaka

Keyword(s):

Social Responsibility ◽

Evaluating the investment decision-making process for business expansion into Africa: A case study

Corporate Ownership and Control ◽

10.22495/cocv10i3c4art5 ◽

2013 ◽

Vol 10 (3) ◽

pp. 464-473

Author(s):

Jason Kasozi

Keyword(s):

Decision Making ◽

International Business ◽

Investment Decision ◽

Investment Project ◽

Decision Making Process ◽

True Value ◽

Investment Decision Making ◽

Africa is a potential domain for international business. However, numerous uncertainties characterize this environment and the challenge for multinationals remains the ability to assess the true value of an Africa-bound investment project. A telecommunications’ survey was conducted on Siemens Southern Africa (Siemens) and Mobile Telecommunications’ Network (MTN) and the following observations were made: (1) Approaches used by the businesses to value Africa-bound investments were not comprehensive and inclusive. (2) Neutrality existed to the suggestion that Africa is unique and that investment decisions should be customized to suit it. (3) Certain approaches used by the businesses were modified to suit pertaining investment circumstances thereby differing from literature, and (4), participants desired to learn new ways of improving this process suggesting dissatisfaction with the current norm. This paper presents the conflicting ideologies about the decision-making process forbusiness expansion into Africa and suggests ways of improving the process.

Overview of Mobile Payment

Banking, Finance, and Accounting ◽

10.4018/978-1-4666-6268-1.ch011 ◽

2014 ◽

pp. 180-217 ◽

Cited By ~ 1

Author(s):

Vibha Kaw Raina

Keyword(s):

Mobile Phones ◽

Smart Phones ◽

Mobile Payment ◽

Payment Systems ◽

Mobile Terminals ◽

Cellular Telephones ◽

Mobile Payments ◽

Monetary Value ◽

According to the Mobile Payment Forum, mobile payments are the transactions with a monetary value that is conducted through a mobile telecommunications network through diverse mobile users devices, such as cellular telephones, smart phones or PDAs, and mobile terminals. Mobile payment is a transfer of funds in return for goods or services in which a mobile device is functionally involved in executing and confirming payment. The payer can be standing at a POS or be interacting with a merchant located somewhere else. Mobile payment systems enable customers to purchase and pay for goods or services via mobile phones. Here, each mobile phone is used as the personal payment tool in connection with the remote sales. Payments can take place far away from both the recipient and the bank. This chapter gives an overview of mobile payments.