db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
@InProceedings{Lawrence01b,
title = "{CSPP} and {E}vent {P}riority",
author= "Lawrence, Adrian E.",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
editor= "Chalmers, Alan G. and Mirmehdi, Majid and Muller, Henk",
pages = "67--92",
booktitle= "{C}ommunicating {P}rocess {A}rchitectures 2001",
isbn= "1 58603 202 X",
year= "2001",
month= "sep",
abstract= "CSPP is an extension of CSP which includes priority as used
in standard occam. The occam community has often discussed
whether those notions are really adequate, a particular
concern being the difficulties associated with priority
inversion. One idea is to give priority to sets of events
considered independently of the processes that perform them.
We call this 'event priority'. Event priority is static in
this presentation. But it is possible to handle dynamic
priority using a global synchronisation when the 'event
priority' changes. Obviously there is no problem for a
software system with a central scheduler, but the theory
here is addressing a far wider class of systems, in
particular massively parallel, widely distributed,
implemented in either hardware or software or both. It may
be that some higher level of abstraction should replace
priority: priority is a mechanism for achieving certain
properties, often relating to time and limited resources.
Here we content ourselves with finding a formal description
of a language including event-priority."
}