Skip to main content
Kent Academic Repository

Prioritised Dynamic Communicating Processes: Part 2

Barnes, Frederick R.M. and Welch, Peter H. (2002) Prioritised Dynamic Communicating Processes: Part 2. In: Pascoe, James and Welch, Peter H. and Loader, Roger and Sunde, Vaidy, eds. Communicating Process Architectures 2002. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 353-370. ISBN 978-1-58603-268-5. (KAR id:13734)


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: .

Item Type: Book section
Uncontrolled keywords: concurrency, dynamic, communicating, occam, priority
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 17:59 UTC
Last Modified: 16 Nov 2021 09:51 UTC
Resource URI: (The current URI for this page, for reference purposes)

University of Kent Author Information

Barnes, Frederick R.M..

Creator's ORCID:
CReDIT Contributor Roles:

Welch, Peter H..

Creator's ORCID:
CReDIT Contributor Roles:
  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.