%T The Meaning and Implementation of SKIP in CSP %A Thomas Gibson\-Robinson, Michael Goldsmith %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.