School of Computing

Adding Mobility to Networked Channel-Types

Mario Schweigler

In I.R. East, J. Martin, P.H. Welch, D. Duce, and M. Green, editors, Communicating Process Architectures 2004, volume 62 of Concurrent Systems Engineering Series, pages 182-196, Amsterdam, The Netherlands, September 2004. IOS Press.

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.

Download publication 91 kbytes (PDF)

Bibtex Record

@inproceedings{1954,
author = {Mario Schweigler},
title = {{Adding Mobility to Networked Channel-Types}},
month = {September},
year = {2004},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2004/1954},
    submission_id = {14837_1094996875},
    ISBN = {1-58603-458-8},
    booktitle = {Communicating Process Architectures 2004},
    publication_type = {inproceedings},
    editor = {I.R. East and J. Martin and P.H. Welch and D. Duce and M. Green},
    volume = {62},
    series = {Concurrent Systems Engineering Series},
    address = {Amsterdam, The Netherlands},
    publisher = {IOS Press},
    ISSN = {1383-7575},
    refereed = {yes},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014