Prioritised Dynamic Communicating Processes: Part 2

Barnes, Frederick R.M. and Welch, Peter H. (2002) Prioritised Dynamic Communicating Processes: Part 2. In: Communicating Process Architectures 2002:WoTUG-25, 15-18 September 2002, University of Reading, United Kingdom. (Full text available)

PDF
Download (124kB)
[img]
Preview
Postscript
Download (179kB)
[img]
Preview

Abstract

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: http://www.cs.ukc.ac.uk/projects/ofa/kroc/ .

Item Type: Conference or workshop item (Paper)
Uncontrolled keywords: concurrency, dynamic, communicating, occam, priority
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Science Technology and Medical Studies > School of Computing
Depositing User: Mark Wheadon
Date Deposited: 24 Nov 2008 17:59
Last Modified: 04 Jun 2014 10:57
Resource URI: http://kar.kent.ac.uk/id/eprint/13734 (The current URI for this page, for reference purposes)
ORCiD (Barnes, Frederick R.M.):
ORCiD (Welch, Peter H.):
  • Depositors only (login required):

Downloads

Downloads per month over past year