Adding Mobility to Networked Channel-Types

Schweigler, Mario (2004) Adding Mobility to Networked Channel-Types. In: Communicating Process Architectures 2004, Sep 05-08, 2004 , Oxford Brooks Univ, Oxford, England. (Full text available)

Download (149kB) Preview


This paper reports the specification of a sound concept for the mobility of network-channel-types in The syntax and semantics of have also been modified in order to integrate it more seamlessly into the occam-pi language. These new features are currently in the process of being implemented. Recent developments in occam-pi and KRoC (such as live/dead channel-type-ends and mobile processes) are described, together with their impact on This paper gives an overview of the recent developments in, and presents its proposed final semantics, as well as the proposed interface between the infrastructure and the KRoC compiler.

Item Type: Conference or workshop item (Paper)
Uncontrolled keywords: KRoC occam-pi network networking
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing > Systems Architecture Group
Depositing User: Mark Wheadon
Date Deposited: 24 Nov 2008 18:01 UTC
Last Modified: 14 Jan 2017 13:32 UTC
Resource URI: (The current URI for this page, for reference purposes)
  • Depositors only (login required):