School of Computing

Prioritised dynamic communicating processes: Part 2

Fred Barnes and Peter Welch

In James Pascoe, Peter Welch, Roger Loader, and Vaidy SUnde, editors, Communicating Process Architectures 2002, volume 60 of Concurrent Systems Engineering, pages 182-196, IOS Press, Amsterdam, The Netherlands, September 2002. IOS Press.


This paper illustrates the work presented in 'Part I', giving additional examples of use of channel-types, extended rendezvous and FORKs that lean towards real applications. Also presented are a number of other additions and extensions to the occam language that correct, tidy up or complete facilities that have long existed. These include fixing the PRI ALT bug, allowing an unconditional SKIP guard as the last in a PRI ALT, replicator STEP sizes, run-time computed PAR replication counts, RESULT parameters and abbreviations, nested PROTOCOL definitions, inline array constructors and parallel recursion. All are available in the latest release (1.3.3) of KRoC, freely available (GPL/open source) from: .

Download publication 175 kbytes (PostScript)

Bibtex Record

author = {Fred Barnes and Peter Welch},
title = {Prioritised Dynamic Communicating Processes: Part 2},
month = {September},
year = {2002},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {},
    publication_type = {inproceedings},
    submission_id = {21717_1032476261},
    ISBN = {1-58603-268-2},
    booktitle = {Communicating Process Architectures 2002},
    editor = {James Pascoe and Peter Welch and Roger Loader and Vaidy SUnde},
    volume = {60},
    series = {Concurrent Systems Engineering},
    address = {IOS Press, 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