School of Computing

A CSP Model for Mobile Channels

P.H. Welch and Frederick R.M. Barnes

In Peter H. Welch, Susan Stepney, Fiona A.C. Polack, Frederick R.M. Barnes, Alistair A. McEwan, Gardner S. Stiles, Jan F. Broenink, and Adam T. Sampson, editors, Communicating Process Architectures 2008, volume 66 of Concurrent Systems Engineering, pages 182-196, Amsterdam, The Netherlands, September 2008. WoTUG, IOS Press.


CSP processes have a static view of their environment — a fixed set of events through which they synchronise with each other. In contrast, the pi-calculus is based on the dynamic construction of events (channels) and their distribution over pre-existing channels. In this way, process networks can be constructed dynamically with processes acquiring new connectivity. For the construction of complex systems, such as Internet trading and the modeling of living organisms, such capabilities have an obvious attraction. The occam-pi multiprocessing language is built upon classical occam, whose design and semantics are founded on CSP. To address the dynamics of complex systems, occam-pi extensions enable the movement of channels (and multiway synchronisation barriers) through channels, with constraints in line with previous occam discipline for safe and efficient programming. This paper reconciles these extensions by building a formal (operational) semantics for mobile channels entirely within CSP. These semantics provide two benefits: formal analysis of occam-pi systems using mobile channels and formal specification of implementation mechanisms for mobiles used by the occam-pi compiler and run-time kernel. Download publication 369 kbytes (PDF)

Bibtex Record

author = {P.H. Welch and Frederick R.M. Barnes},
title = {{A CSP Model for Mobile Channels}},
month = {September},
year = {2008},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {},
    publication_type = {inproceedings},
    submission_id = {17319_1220630679},
    ISBN = {978-1-58603-907-3},
    booktitle = {Communicating Process Architectures 2008},
    editor = {Peter H. Welch and Susan Stepney and Fiona A.C. Polack and Frederick R.M. Barnes and Alistair A. McEwan and Gardner S. Stiles and Jan F. Broenink and Adam T. Sampson},
    volume = {66},
    series = {Concurrent Systems Engineering},
    address = {Amsterdam, The Netherlands},
    organization = {WoTUG},
    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