(Enter summary)
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 ... (Update)
Context of citations to this paper: More
...latest release (1.3.3) of KRoC, freely available (GPL open source) from: www.cs.ukc.ac.uk projects ofa kroc . 1 Introduction The previous paper [1] presented a number of extensions to the occam [2, 3] language within the framework of KRoC Linux [4] This paper provides...
Cited by: More
Prioritised Dynamic Communicating Processes: Part I - BARNES, WELCH (2002)
(Correct)
Prioritised Dynamic Communicating Processes: Part II - BARNES, WELCH (2002)
(Correct)
Active bibliography (related documents): More All
2.8: Mobile Data, Dynamic Allocation and Zero Aliasing: an occam.. - Barnes, Welch (2001)
(Correct)
1.6: tranx86 - an Optimising ETC to IA32 Translator - Barnes (2001)
(Correct)
0.8: Blocking System Calls in KRoC/Linux - Barnes (2000)
(Correct)
Similar documents based on text: More All
0.7: Synchronous Active Objects Introduce CSP's Primitives in Java - PETITPIERRE (2002)
(Correct)
0.6: On the Complexity of Buffer Allocation in Message Passing.. - Brodsky, Pedersen, Wagner (2002)
(Correct)
0.4: View-Centric Reasoning for Linda and Tuple Space Computation - Smith, al. (2002)
(Correct)
Related documents from co-citation: More All
3: Efficient Parallel Recursion (context) - Hansen - 1995
2: The KRoC Home Page (context) - Barnes, Welch et al. - 2000
2: Toward Viable Alternative to OO extending occamCSP programming model (context) - Viable, OO et al.
BibTeX entry: (Update)
F.R.M. Barnes and P.H. Welch. Prioritised Dynamic Communicating Processes: Part I. In James Pascoe, Peter Welch, Roger Loader, and Vaidy Sunderam, editors, Communicating Process Architectures 2002. http://citeseer.ist.psu.edu/barnes02prioritised.html More
@incollection{ barnes02prioritised,
author = "F. Barnes and P. Welch",
title = "Prioritised Dynamic Communicating Processes: Part {II}",
editor = "James Pascoe, Peter Welch, Roger Loader, and Vaidy Sunderam",
booktitle = "Communicating Process Architectures",
publisher = "IOS Press",
pages = "353+",
year = "2002",
url = "citeseer.ist.psu.edu/barnes02prioritised.html" }
Citations (may not include all citations):
195
The Theory and Practice of Concurrency (context) - Roscoe - 1997
10
occam 3 Reference Manual (context) - Barrett - 1992
9
Miranda: The Craft of Functional Programming (context) - Thompson - 1995
8
Seamless Parallel Computing on Heterogeneous Networks of Mul.. (context) - Vella - 1998
6
Higher Levels of Process Synchronisation (context) - Welch, Wood - 1997
6
CCSP -- a Portable CSP-based Run-time System Supporting C an.. (context) - Moores - 1999
5
Extended Transputer Code - a Target-Independent Representati.. (context) - Poole - 1998
5
Dynamic Allocation and Zero Aliasing: an occam Experiment (context) - Barnes, Welch - 2001
5
Available httpwotug (context) - occam, Technical et al. - 1995
5
Southampton's portable occam compiler (context) - Wykes, Debbage et al. - 1994
4
Process Oriented Design for Java -- Concurrency for All (context) - Welch - 2000
4
CSP networking for java (context) - Welch, Aldous et al. - 2002
4
User-Defined Data Types and Operators in occam (context) - Wood, Moores - 1999
4
Transputer Instruction Set Manual (context) - Limited - 1993
4
File and Process Libraries for occam (context) - Barnes - 2000
4
The KRoC Home Page (context) - Barnes, Welch et al. - 2000
4
Efficient Parallel Recursion (context) - Hansen - 1995
3
The occam Web-Server Home Page (context) - Barnes - 2000
3
Toward Viable Alternative to OO extending occamCSP progra.. (context) - Viable, OO et al. - 2001
2
An Experiment with Recursion in occam (context) - Wood - 2000
2
Prioritised Dynamic Communicating Processes: Part
- Barnes, Welch - 2002
2
Cluster Computing and JCSP Networking (context) - Welch, Vinter - 2002
1
Distributed occam Protocol New Layer Top TCPIP To Serve oc.. (context) - Distributed, New et al. - 2001
1
Fixed Maximal Depth Recursion in occam (context) - Poole - 1992
1
Project report (context) - Goodacre - 2001
Documents on the same site (http://frmb.home.cern.ch/frmb/publications.html): More
Using Blocking System Calls with KRoC/Linux - Barnes (2000)
(Correct)
tranx86 - an Optimising ETC to IA32 Translator - Barnes (2001)
(Correct)
Blocking System Calls in KRoC/Linux - Barnes (2000)
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC