Skip to main content

Adding Mobility to Networked Channel-Types

Schweigler, Mario (2004) Adding Mobility to Networked Channel-Types. In: East, Ian R. and Martin, Jeremy and Welch, Peter H. and Duce, David and Green, Mark, eds. Communicating Process Architectures 2004. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 107-125. ISBN 978-1-58603-458-0. (KAR id:14090)

PDF
Language: English
Download (149kB) Preview
[thumbnail of Adding_Mobility_to_Networked_Channel-Types.pdf]
Preview
This file may not be suitable for users of assistive technology.
Request an accessible format

Abstract

This paper reports the specification of a sound concept for the mobility of network-channel-types in KRoC.net. The syntax and semantics of KRoC.net 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 KRoC.net. This paper gives an overview of the recent developments in KRoC.net, and presents its proposed final semantics, as well as the proposed interface between the KRoC.net infrastructure and the KRoC compiler.

Item Type: Book section
Uncontrolled keywords: KRoC.net KRoC occam-pi network networking
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Mark Wheadon
Date Deposited: 24 Nov 2008 18:01 UTC
Last Modified: 16 Nov 2021 09:52 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/14090 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year