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

%T Observing Processes
%A Adrian E. Lawrence
%E Ian R. East, David Duce, Mark Green,  Jeremy M. R. Martin, Peter H. Welch
%B Communicating Process Architectures 2004
%X This paper discusses the sorts of observations of processes
   that are appropriate to capture priority. The standard
   denotational semantics for CSP are based around observations
   of traces and refusals. Choosing to record a little more
   detail allows extensions of CSP which describe some very
   general processes including those that include priority. A
   minimal set of observations yields a language and semantics
   remarkably close to the standard Failures\-Divergences model
   of CSP which is described in a companion paper. A slightly
   richer set of observations yields a somewhat less abstract
   language.