%T Extending CSP with Tests for Availability
%A  Gavin Lowe
%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.