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 The Meaning and Implementation of SKIP in CSP
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
%A  Thomas Gibson\-Robinson,  Michael Goldsmith
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
%E Peter H. Welch,  Frederick R. M. Barnes,  Jan F. Broenink,  Kevin Chalmers,  Jan Bækgaard Pedersen,  Adam T. Sampson
%B Communicating Process Architectures 2013
%X The CSP model checker FDR has long supported Hoare\[rs]s
   termination
semantics for CSP, but has not supported the
   more theoretically
complete construction of Roscoe\[rs]s,
   largely due to the complexity of
adding a second termination
   semantics.  In this paper we provide a
method of simulating
   Roscoe\[rs]s termination semantics using the
   Hoare
termination semantics and then prove the equivalence
   of the two
different approaches. We also ensure that FDR can
   support the
simulation reasonably efficiently.