Paper Details

db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"

%T No Blocking on Yesterday\[rs]s Embedded CSP Implementation (the Rubber Band of Getting it Right and Simple)
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
%A Øyvind Teig
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
%E Peter H. Welch, Jon Kerridge, Frederick R. M. Barnes
%B Communicating Process Architectures 2006
%X This article is a follow\-up after the paper \[dq]From
   message queue to ready queue\[dq], presented at the ERCIM
   Workshop last year. A (mostly) synchronous layer had been
   implemented on top of an existing asynchronous run\-time
   system. After that workshop, we discovered that the initial
   implementation contained two errors: both concerning
   malignant process rescheduling associated with timers and
   \[rs]reuse\[rs] of the input side of a channel. Also, the
   set of process/dataflow patterns was not sufficient. To keep
   complexity low, we have made two new patterns to reflect
   better the semantic needs inherent in the application. Our
   assumption of correctness is also, this time, based both on
   heuristics and \[rs]white\-board reasoning\[rs]. However,
   both the previous and this paper have been produced before
   any first shipment of the product, and well within
   full\-scale testing. Our solutions and way of attacking the
   problems have been in an industrial tradition.

If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.

Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.