Unifying Theories of Mobile Channels

Unifying Theories of Mobile Channels

In 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 slightly e...

Full description

Bibliographic Details
Main Author: Gerard Ekembe Ngondi
Format: Article
Language:English
Published: Open Publishing Association 2016-06-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1606.02018v1
id doaj-609d084703f24184b15aaf05a4d6cc09
record_format Article
spelling doaj-609d084703f24184b15aaf05a4d6cc092020-11-24T23:17:15ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802016-06-01209Proc. Refine 2015243910.4204/EPTCS.209.3:4Unifying Theories of Mobile ChannelsGerard Ekembe NgondiIn 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 slightly extended to allow the mobility of channels: the set of actions in which a process is authorised to participate, 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 alphabet with the received channel. New healthiness conditions are stated to ensure an appropriate use of mobile channels.http://arxiv.org/pdf/1606.02018v1
collection DOAJ
language English
format Article
sources DOAJ
author Gerard Ekembe Ngondi
spellingShingle Gerard Ekembe Ngondi
Unifying Theories of Mobile Channels
Electronic Proceedings in Theoretical Computer Science
author_facet Gerard Ekembe Ngondi
author_sort Gerard Ekembe Ngondi
title Unifying Theories of Mobile Channels
title_short Unifying Theories of Mobile Channels
title_full Unifying Theories of Mobile Channels
title_fullStr Unifying Theories of Mobile Channels
title_full_unstemmed Unifying Theories of Mobile Channels
title_sort unifying theories of mobile channels
publisher Open Publishing Association
series Electronic Proceedings in Theoretical Computer Science
issn 2075-2180
publishDate 2016-06-01
description In 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 slightly extended to allow the mobility of channels: the set of actions in which a process is authorised to participate, 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 alphabet with the received channel. New healthiness conditions are stated to ensure an appropriate use of mobile channels.
url http://arxiv.org/pdf/1606.02018v1
work_keys_str_mv AT gerardekembengondi unifyingtheoriesofmobilechannels
_version_ 1725583997183983616

Similar Items