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>
@InProceedings{Cook11,
  title =        "{P}arallel {U}sage {C}hecking - an {O}bservation",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  author=        "Cook,  Barry M.",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  editor=        "Welch, Peter H. and Sampson,  Adam T. and Pedersen,  Jan Bækgaard and Kerridge,  Jon and Broenink,  Jan F. and Barnes,  Frederick R. M.",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  pages =        "--",
  booktitle=     "{C}ommunicating {P}rocess {A}rchitectures 2011",
  isbn=          "978-1-60750-773-4",
  year=          "2011",
  month=         "jun",
  abstract=      "One of the great strengths of CSP based concurrent
     programming languages
(such as occam) is the support
     provided to the programmer in avoiding the
creation of
     erroneous programs.
One such support \&amp;ndash;
     \textlessi\textgreaterparallel usage
     checking\textless/i\textgreater \&amp;ndash;
detects program
     behaviours that may leave a variable in an
     unpredictable
state.
Current implementations of this check
     are safe but can lead to
inefficient program
     implementations.
In some cases, a simple
     program
transformation can be used to demonstrate the safety
     of programs that would
otherwise fail existing tests.
By
     presenting a simple (but generic) example,
I will show that
     using such a transformation allows the creation of
     more
efficient programs."
}