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 Extending CSP with Tests for Availability
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
%A  Gavin Lowe
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
%E Peter H. Welch,  Herman Roebbers,  Jan F. Broenink,  Frederick R. M. Barnes,  Carl G. Ritson,  Adam T. Sampson,  G. S. Stiles,  Brian Vinter
%B Communicating Process Architectures 2009
%X We consider the language of CSP extended with a construct
   that allows
processes to test whether a particular event is
   available (without
actually performing the event).  We
   present an operational semantics
for this language, together
   with two congruent denotational semantic
models.  We also
   show how this extended language can be simulated
using
   standard CSP, so as to be able to analyse systems using
   the
model checker FDR.