@InProceedings{Lowe09,
  title =        "{E}xtending {CSP} with {T}ests for {A}vailability",
  author=        "Lowe,  Gavin",
  editor=        "Welch, Peter H. and Roebbers,  Herman and Broenink,  Jan F. and Barnes,  Frederick R. M. and Ritson,  Carl G. and Sampson,  Adam T. and Stiles,  G. S. and Vinter,  Brian",
  pages =        "325--347",
  booktitle=     "{C}ommunicating {P}rocess {A}rchitectures 2009",
  isbn=          "978-1-60750-065-0",
  year=          "2009",
  month=         "nov",
  abstract=      "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."
}